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/Initial support for JS in new ffi12 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/Primitive type for world state12 years ago samples/remove /examples/ folder, move Makefile to /samples/12 years ago src/Initial support for JS in new ffi12 years ago test/Initial support for JS in new ffi12 years ago .gitattributes .gitignoreAdd generated library docs to .gitignore12 years ago .travis.ymlenable CI builds in travis-script12 years ago CHANGELOGFix CHANGELOG12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSUpdate CONTRIBUTORS12 years ago LICENSE MakefileSet CI to anything when running make, then the cabal flag CI will be set12 years ago README.mdLittle text about CI flag12 years ago Setup.hsFactor out LLVM backend12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalMerge branch 'master' of github.com:idris-lang/Idris-dev into new_ffi12 years ago mkpkg.sh