benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Implement bundled toolchain feature12 years ago docs/Fixed pipe symbol representation12 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Add `{n} for quotations of the global name n12 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/Add `{n} for quotations of the global name n12 years ago test/Add `{n} for quotations of the global name n12 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 CONTRIBUTORSclarify failing searches12 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.cabalAdd `{n} for quotations of the global name n12 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago win-release.shImplement bundled toolchain feature12 years ago