benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Implement bundled toolchain feature12 years ago contribs/Address semantic differences in putting things to STDOUT.12 years ago docs/Add docs and changelog entry for bundled toolchain12 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Replace the Monoid instance on Maybe12 years ago main/Implement bundled toolchain feature12 years ago man/ rts/rts: add getline to Makefile12 years ago samples/Sphinx Based Documentation for Idris.12 years ago src/show incomplete term holes for listy constructors12 years ago test/:exec can take an expression as an argument12 years ago .gitattributes .gitignoreFixes from library reorg12 years ago .travis.ymlfix cppcheck cmdline12 years ago CHANGELOGForgot CHANGELOG again...12 years ago CITATION.mdAdded a citation file.12 years ago CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSclarify failing searches12 years ago LICENSE MakefileUpdated Makefile to build docs.12 years ago README.mdAdd ReadTheDocs badge to README12 years ago Setup.hsImplement bundled toolchain feature12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalImplement bundled toolchain feature12 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago win-release.shImplement bundled toolchain feature12 years ago