benchmarks/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago codegen/javascript: lift out node backend12 years ago contribs/Several updates to idrislang.sty12 years ago idrisdoc/ iif/ jsrts/javascript: fix for #158012 years ago libs/Error reflection for Fin12 years ago main/Completely replace ErrorT with ExceptT12 years ago man/Fix typo in help message (language extension)12 years ago rts/Use idris_alloc for GMP allocation12 years ago samples/remove /examples/ folder, move Makefile to /samples/12 years ago src/REPL prompt should only show successfully loaded modules12 years ago test/Check for duplicate names in Can't Convert12 years ago .gitattributes .gitignoreMerge pull request #1704 from eamsden/master12 years ago .travis.ymlDon't build Idris twice in CI12 years ago CHANGELOGUpdate CHANGELOG12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSUpdate CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago README.mdUpdates to README.md12 years ago Setup.hsFactor out LLVM backend12 years ago config.mkAdd -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.12 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalCabal file boilerplate for new tests and source12 years ago mkpkg.sh