../ Core/Unification tweak for unifying types and metavariable applications13 years ago IRTS/Fix compilation of unqualified constructor names13 years ago Idris/Merge branch 'feature/simplifiedparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/simplifiedparsing13 years ago Pkg/Make --install respect TARGET for .ibc AND objects13 years ago Util/Make --install respect TARGET for .ibc AND objects13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsFixing a typo in the --help usage screen.13 years ago