benchmarks/ codegen/Remove --yes-really11 years ago docs/Fixes #2036 #2037 Tutorial Updates.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/Change file operation names11 years ago logos/Added SVG logos11 years ago main/ man/ rts/Add support for logical and, or, shl, shr for big ints11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Fix segfault in case-lambdas.11 years ago test/Change file operation names11 years ago .gitattributes .gitignoreUpdated gitignore to ignore emacs temp files11 years ago .travis.ymlbuild script for Travis container-based infrastructure11 years ago CHANGELOGMake some IO types more specific11 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.mdFixed typos in INSTALL.md11 years ago LICENSE MakefileAdd implicit lambdas for top level implicits11 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.cabalMerge pull request #2858 from LeifW/remove_zlib_constraint_on_new_ghc11 years ago mkpkg.sh stack.yamlupdated stack yaml11 years ago win-release.sh