git.iko.soy/Idris-dev
on bb013f0 help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Improve Fin error rewriter to remove "fromInteger" effects/Added 'Print' functions to STDIO effect. oldeffects/Changed (<$>) to (<*>) prelude/Basic handling of elaborator debugger invocations MakefileReplace 'effects' with neweffects