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/First renaming attempt12 years ago examples/ idrisdoc/ iif/ jsrts/javascript: fix for #158012 years ago libs/Move Pair/Sigma into Builtins namespace12 years ago main/Call gcc using rawSystem12 years ago man/Fix typo in help message (language extension)12 years ago rts/Fix GC statistics overflow12 years ago samples/Finished making standard library naming consistent12 years ago src/Check datatypes are not redefined12 years ago test/Move Pair/Sigma into Builtins namespace12 years ago .gitattributes .gitignoreMerge pull request #1704 from eamsden/master12 years ago .travis.ymlDon't build Idris twice in CI12 years ago CHANGELOGA new primitive tactic for getting source locations12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSUpdate CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago README.mdFix a few typos in the README12 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.cabalImprove delaboration and pretty-printing for case12 years ago mkpkg.sh