benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Generate interface files for C->Idris calls12 years ago contribs/Address semantic differences in putting things to STDOUT.12 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Proper error message for missing eliminators12 years ago main/disable windows specific UTF8 encoding12 years ago man/Fix typo in help message (language extension)12 years ago rts/Generate interface files for C->Idris calls12 years ago samples/Address semantic differences in putting things to STDOUT.12 years ago src/avoiding repeated checks12 years ago test/A bit more unification error provenance12 years ago .gitattributes .gitignoreIgnore Emacs noise12 years ago .travis.ymlAdd multiple GHC versions to Travis12 years ago CHANGELOGMerge branch 'fix/print-semantics' of https://github.com/jfdm/Idris-dev into jfdm-fix/print-semantics12 years ago CITATION.mdAdded a citation file.12 years ago CONTRIBUTING.mdUpdated contributed.md.12 years ago CONTRIBUTORSInstance docs: Update CHANGELOG and 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 -f execonly to omit library/rts builds12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalAdd -f execonly to omit library/rts builds12 years ago mkpkg.sh