../ Core/Remove calls to "error". Fixes #607.13 years ago IRTS/Change from shebangs with absolute references to using /usr/bin/env13 years ago Idris/Merge pull request #621 from hannesm/cleanup13 years ago Pkg/Whitespace cleanup.13 years ago Util/Why "do" when you can "<$>"?13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsAdds the ability to keep around the generated maven project13 years ago