benchmarks/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago codegen/Generate interface files for C->Idris calls12 years ago contribs/Changed (<$>) to (<*>)12 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Improve Fin error rewriter to remove "fromInteger"12 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/Changed (<$>) to (<*>)12 years ago src/Allow type providers to have docstrings12 years ago test/Improve Fin error rewriter to remove "fromInteger"12 years ago .gitattributes .gitignoreIgnore Emacs noise12 years ago .travis.ymlAdd multiple GHC versions to Travis12 years ago CHANGELOGUpdate CHANGELOG for type provider docs12 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 IDE command to get Idris version12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalAdd type providers docs test case to cabal file12 years ago mkpkg.sh