SPLV20 icon indicating copy to clipboard operation
SPLV20 copied to clipboard
verified publisher icon edwinb

Update to work with Idris2 0.6.0

Open dunhamsteve opened this issue 3 years ago • 0 comments

This PR builds on the work of @gallais in #2 to get SPLV20 to build with the latest version of Idris2. It also changes the code to use the new record update format.

dunhamsteve avatar Nov 19 '22 03:11 dunhamsteve