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/update sqlite3 bindings to new Idris syntax12 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Quasiquotes for Raw terms12 years ago main/disable windows specific UTF8 encoding12 years ago man/Fix typo in help message (language extension)12 years ago rts/Fix Windows RTS12 years ago samples/remove /examples/ folder, move Makefile to /samples/12 years ago src/Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/betteroperatormessage12 years ago test/Fixed test error due to improved error message (the test had expected the old message)12 years ago .gitattributes .gitignoreIgnore Emacs noise12 years ago .travis.ymlAdd multiple GHC versions to Travis12 years ago CHANGELOGOverloaded quasiquotations12 years ago CITATION.mdAdded a citation file.12 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.hsAdd IDE command to get Idris version12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalOverloaded quasiquotations12 years ago mkpkg.sh