benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Implement bundled toolchain feature12 years ago docs/Fixed minor inconsistency in function definitions11 years ago idrisdoc/ iif/ jsrts/javascript: fix node warning for printing11 years ago libs/Export 'lift' from Control.Monad.State11 years ago main/Implement bundled toolchain feature12 years ago man/ rts/Add AR and RANLIB envs for exherbo multiarch.11 years ago samples/Migrated tutorial examples into samples.12 years ago src/Fix #2176 by adding totality status to the REPL :doc command output11 years ago test/Update REPL :doc related tests with totality status11 years ago .gitattributes .gitignoreAdd cabal.config to .gitignore12 years ago .travis.ymlAllow unlimited backjumps in solving deps11 years ago CHANGELOGAdd Elab shell to CHANGELOG11 years ago CITATION.mdAdded a citation file.12 years ago CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSAdded self to contributors list.11 years ago LICENSE MakefileUpdated Makefile to build docs.12 years ago README.mdAdd ReadTheDocs badge to README12 years ago Setup.hsRemove unused imports11 years ago config.mkAdd AR and RANLIB envs for exherbo multiarch.11 years ago custom.mk-alldepsSaner set of suggested defaults for cabal flags.12 years ago idris-tutorial.pdfUpdated PDF version of tutorial to current release.11 years ago idris.cabalAdd maximum pretty-printer depth option.11 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago win-release.shImplement bundled toolchain feature12 years ago