../ Core/Fixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)13 years ago IRTS/Fix rendering of LChInt in Java backend13 years ago Idris/Fixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)13 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