benchmarks/Fix quasigroups compile time issues11 years ago codegen/Remove --yes-really11 years ago docs/Merge pull request #2892 from thisfred/tutorial-record-typo11 years ago icons/Add the idris icon to the windows build11 years ago idrisdoc/ jsrts/Add a getLine primitive to browser js11 years ago libs/Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffi11 years ago logos/Added SVG logos11 years ago main/Added flag to display available logging categories.11 years ago man/ rts/Add __DragonFly__ to the list of Unices.11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Fix reflection of NativeTy values11 years ago test/Reenable parallel testing11 years ago .gitattributes .gitignoreUpdated gitignore to ignore emacs temp files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGFix class->interface in HTML docs11 years ago CITATION.md CONTRIBUTING.mdCONTRIBUTING.md: Fix typo "Factroy" -> "Factory"11 years ago CONTRIBUTORSMerge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffi11 years ago INSTALL.mdAdd instructions to deploy with stack on NixOS. Remove the resolver version from the documentation11 years ago LICENSE MakefileSet target explicitly for test_c11 years ago README.mdUpdates to installation docs for devs.11 years ago Setup.hsUse cabal function for dir11 years ago config.mkRefactor - use else if in config.mk11 years ago custom.mk-alldeps idris-tutorial.pdfUpdated PDF version of tutorial to current release.11 years ago idris.cabalAdd the idris icon to the windows build11 years ago mkpkg.sh stack.yamlBump up the stack resolver version11 years ago win-release.sh