../ Core/Add a 'compute' before elaboration to expand type synonyms etc13 years ago IRTS/javascript: remove identity functions13 years ago Idris/Changed the way addproof works to indented-block style Allowed a larger range of expression to work with slices (improves on idris-lang/Idris-dev#524)13 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