benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Implement bundled toolchain feature12 years ago docs/insert missed lambda param11 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Reading from a file shouldn't strip \n11 years ago main/Implement bundled toolchain feature12 years ago man/ rts/Reading from a file shouldn't strip \n11 years ago samples/Migrated tutorial examples into samples.12 years ago src/Fully evaluate Text from Binary11 years ago test/Reading from a file shouldn't strip \n11 years ago .gitattributes .gitignoreAdd cabal.config to .gitignore12 years ago .travis.ymlAllow unlimited backjumps in solving deps11 years ago CHANGELOGUpdate CHANGELOG for semantic highlights11 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.hsUpdate bug reference11 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.cabalUpdate version number11 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago win-release.shImplement bundled toolchain feature12 years ago