benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Implement bundled toolchain feature12 years ago docs/make light of `Data.Vect` and `Data.Fin` imports in the interp example11 years ago icons/Icons and mimetype declarations11 years ago idrisdoc/ iif/ jsrts/Merge pull request #2455 from melted/ffi_wrap11 years ago libs/Better error when no alternative is valid11 years ago logos/Added SVG logos11 years ago main/Implement bundled toolchain feature12 years ago man/ rts/Check messages are passed to active VMs11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Fix #1134 by saving same info in ibc on check11 years ago test/Fix expected result of totality007 on windows11 years ago .gitattributes .gitignoreAdd cabal.config to .gitignore12 years ago .travis.ymlRemove travis deps unused since llvm & java backend removals.11 years ago CHANGELOGAdd parser highlights to CHANGELOG11 years ago CITATION.md CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSAdded SVG logos11 years ago LICENSE MakefileAdd a make target to build an Idris without optimization11 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.cabalMerge pull request #2444 from Melvar/add-divmod11 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago win-release.shImplement bundled toolchain feature12 years ago