../ Core/Extend split/splitOnLine to cope with 'where/with'13 years ago IRTS/Fix missing case in Defunctionalise.hs13 years ago Idris/Add replaceSplits to generate new definition13 years ago Pkg/Wrap Idris in an ErrorT13 years ago Util/Make --install respect TARGET for .ibc AND objects13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsAdd exception handler to main13 years ago