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/Changed libs to new record syntax.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/Revamped record elaboration.12 years ago test/Changed tests for new record syntax.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