git.iko.soy/Idris-dev
on 488fe79 help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Minor, minor readability improvement to Fin.idr effects/Address semantic differences in putting things to STDOUT. oldeffects/Address semantic differences in putting things to STDOUT. prelude/Proper error message for missing eliminators MakefileReplace 'effects' with neweffects