git.iko.soy/Idris-dev
on dae335b help sign in
Idris-dev/libs
6 folders, 1 file
../ base/Rename isLength contrib/File IO type indicates possibility of failure effects/File IO type indicates possibility of failure oldeffects/Address semantic differences in putting things to STDOUT. prelude/Remove %error_reverse from IO' pruviloj/Add derivation of DecEq to Pruviloj MakefileLibrary of tactics for proof automation with Elab