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/Added the icon in the wrong dir11 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/CHANGELOG version edit11 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 CHANGELOGCHANGELOG version edit11 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.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.hsBring usesGMP in sync with idris.cabal11 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.cabalMerge pull request #2891 from shlevy/optparse-applicative-0-1311 years ago mkpkg.sh stack.yamlSaner defaults for stack and revised installation instructions.11 years ago win-release.sh