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 INSTALL.mdUpdates to installation docs for devs.11 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 branch 'elab-lookup-function-def' of https://github.com/shlevy/Idris-dev into shlevy-elab-lookup-function-def11 years ago mkpkg.sh stack.yamlupdated stack yaml11 years ago win-release.sh