../ Core/Remove calls to "error". Fixes #607.13 years ago IRTS/Implement argument access under LLVM codegen13 years ago Idris/support for add-missing, make-with-block and proofsearch for ideslave13 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