../ Core/Merge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminators13 years ago IRTS/When specialising, reduce more names13 years ago Idris/Merge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminators13 years ago Pkg/Use `showCG` instead of `show` when loading package names13 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