benchmarks/ codegen/Remove --yes-really11 years ago docs/Add FAQ answer on implicitly bound names11 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 remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-def11 years ago logos/Added SVG logos11 years ago main/ man/ rts/idris_stdfgn.c: use conditional compilation since there is only one function which is different for windows realization11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Handle impossible cases on defineFunction11 years ago test/Handle impossible cases on defineFunction11 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 LICENSE MakefileAdd implicit lambdas for top level implicits11 years ago README.md 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.cabalRemove zlib constraint for GHC >= 7.10.311 years ago mkpkg.sh stack.yamlupdated stack yaml11 years ago win-release.sh