benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Implement bundled toolchain feature12 years ago docs/Fix typo in docs/tutorial/typesfuns.rst11 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/better show implementation (Z case instead if else for limitation)11 years ago main/Implement bundled toolchain feature12 years ago man/ rts/Merge pull request #2143 from soimort/getLine-inconsistency12 years ago samples/Migrated tutorial examples into samples.12 years ago src/Set colour off by default on Windows11 years ago test/Richer universe error objects11 years ago .gitattributes .gitignoreAdd cabal.config to .gitignore12 years ago .travis.ymlfix cppcheck cmdline12 years ago CHANGELOGAdd `{n} for quotations of the global name n12 years ago CITATION.mdAdded a citation file.12 years ago CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSAdding myself12 years ago LICENSE MakefileUpdated Makefile to build docs.12 years ago README.mdAdd ReadTheDocs badge to README12 years ago Setup.hsMerge pull request #2131 from puffnfresh/bug/nix-build12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldepsSaner set of suggested defaults for cabal flags.12 years ago idris-tutorial.pdf idris.cabalMake PDirective IO monad free12 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago win-release.shImplement bundled toolchain feature12 years ago