../ Core/Disambiguate when printing totality information.13 years ago IRTS/Change from shebangs with absolute references to using /usr/bin/env13 years ago Idris/Merge pull request #632 from david-christiansen/issue/59213 years ago Pkg/Whitespace cleanup.13 years ago Util/Support for FreeBSD13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsAdds the ability to keep around the generated maven project13 years ago