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/Implement the VectorSpace structure in the Prelude12 years ago main/Exit after running --client12 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/Improve PE for class constraints and HOFs12 years ago test/Renamed VoidElim to void in order to ensure further consistency12 years ago .gitattributes .gitignore .travis.ymlMake sure we use the official version of idris-llvm for testing12 years ago CHANGELOGImprove PE for class constraints and HOFs12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSAdding Alyssa Carter to CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago README.mdAdded file extension to README file for better rendering.12 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.cabalUpdate version number ready for upcoming release12 years ago mkpkg.sh