benchmarks/Fix quasigroups compile time issues11 years ago codegen/Remove --yes-really11 years ago docs/class->interface change in rest of tutorial11 years ago icons/Added the icon in the wrong dir11 years ago idrisdoc/ jsrts/Add a getLine primitive to browser js11 years ago libs/Remove partial functions from Stream11 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 error messages for interfaces11 years ago test/Fix error messages for interfaces11 years ago .gitattributes .gitignoreUpdated gitignore to ignore emacs temp files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGMove / into Fractional interface11 years ago CITATION.md CONTRIBUTING.mdCONTRIBUTING.md: Fix typo "Factroy" -> "Factory"11 years ago CONTRIBUTORSMerge pull request #2677 from zgrannan/repl-check-operator11 years ago INSTALL.mdSaner defaults for stack and revised installation instructions.11 years ago LICENSE MakefileCollection of times during tests optional.11 years ago README.mdUpdates to installation docs for devs.11 years ago Setup.hsRemove unused imports11 years ago config.mkFix build with clang on Windows11 years ago custom.mk-alldeps idris-tutorial.pdfUpdated PDF version of tutorial to current release.11 years ago idris.cabalMinor edits to description in idris.cabal11 years ago mkpkg.sh stack.yamlSaner defaults for stack and revised installation instructions.11 years ago win-release.sh