benchmarks/Fix quasigroups compile time issues11 years ago codegen/Remove --yes-really11 years ago docs/update the PR about 'desugars' -> 'displays ... as ...' in the tutorial, according to christiansen's advises.11 years ago icons/Added the icon in the wrong dir11 years ago idrisdoc/ jsrts/Add a getLine primitive to browser js11 years ago libs/Update System.idr11 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/Prover.hs: foldl (++) [] . map -> concatMap11 years ago test/Collection of times during tests optional.11 years ago .gitattributes .gitignoreUpdated gitignore to ignore emacs temp files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGAdded flag to display available logging categories.11 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.cabalIncrement patch version number11 years ago mkpkg.sh stack.yamlSaner defaults for stack and revised installation instructions.11 years ago win-release.sh