../ Core/Eliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago IRTS/Fix rendering of LChInt in Java backend13 years ago Idris/Eliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago Pkg/Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago Util/Make GMP optional (default off)13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies13 years ago