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/Fix error in rndInt making lower bound ineffective12 years ago main/Call gcc using rawSystem12 years ago man/Fix typo in help message (language extension)12 years ago rts/rts/idris_rts.c: Fix referenced after allocation that may moved away12 years ago samples/Finished making standard library naming consistent12 years ago src/Merge pull request #1743 from jfdm/fix/lift-fixme-todo-112 years ago test/Fix use of %flag in test basic00112 years ago .gitattributes .gitignoreClean up .gitignore (tutorial/ removed)12 years ago .travis.ymlMake sure we use the official version of idris-llvm for testing12 years ago CHANGELOGSupport type errors in docstrings12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSUpdate CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago README.mdMerge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-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.cabalBump lens upper version bounds12 years ago mkpkg.sh