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/Added the Zero Constructor to Data.Sign12 years ago main/Use pre-existing function to list installed packages at command line12 years ago man/Fix typo in help message (language extension)12 years ago rts/Message passing fixes in VM12 years ago samples/remove /examples/ folder, move Makefile to /samples/12 years ago src/Rename ideslave to ide-mode12 years ago test/Test case that was accidentally accepted before12 years ago .gitattributes .gitignoreAdd generated library docs to .gitignore12 years ago .travis.ymlDisable backend-dependent test12 years ago CHANGELOGRename ideslave to ide-mode12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSRe-alphabetize CONTRIBUTORS12 years ago LICENSE MakefileSet CI to anything when running make, then the cabal flag CI will be set12 years ago README.mdImprove the README: Contributing link, spelling, wrap lines12 years ago Setup.hsFactor out LLVM backend12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalRename ideslave to ide-mode12 years ago mkpkg.sh