benchmarks/Finished making standard library naming consistent12 years ago codegen/javascript: lift out node backend12 years ago contribs/First renaming attempt12 years ago examples/ idrisdoc/Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and Chrome13 years ago iif/ jsrts/javascript: fix backend to support new inliner12 years ago libs/Finished making standard library naming consistent12 years ago main/Annotate several top-level functions12 years ago man/Fix typo in help message (language extension)12 years ago rts/Add Borrowed types12 years ago samples/Finished making standard library naming consistent12 years ago src/Finished making standard library naming consistent12 years ago support/ test/Renamed 'lteSucc' and 'lteZero' in tests to 'LTESucc' and 'LTEZero'12 years ago .gitattributes .gitignore .travis.ymlMake sure we use the official version of idris-llvm for testing12 years ago CHANGELOGAdded update about renaming to CHANGELOG12 years ago CONTRIBUTING.md CONTRIBUTORSAdding Alyssa Carter to CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago README Setup.hsFactor out LLVM backend12 years ago config.mkMerge https://github.com/idris-lang/Idris-dev12 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalFactor out LLVM backend12 years ago mkpkg.sh