git.iko.soy/Idris-dev
on ce2d69d help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Careful when unifying explicit arguments IRTS/When specialising, reduce more names Idris/Check the type of elaborated error handlers Pkg/Use `showCG` instead of `show` when loading package names Util/Make GMP optional (default off) .ghciAdded .ghci specifying language extensions. Main.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies