benchmarks/ codegen/Remove --yes-really11 years ago docs/last -> list11 years ago icons/Added the icon in the wrong dir11 years ago idrisdoc/ iif/ jsrts/Add a getLine primitive to browser js11 years ago libs/Pruviloj ops for splitting products11 years ago logos/Added SVG logos11 years ago main/ man/ rts/Substring as primitive11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Allow operator to be parsed as expr in repl11 years ago test/Added tests11 years ago .gitattributes .gitignoreUpdated gitignore to ignore emacs temp files11 years ago .travis.ymlbuild script for Travis container-based infrastructure11 years ago CHANGELOGThe `PERF` Effect.11 years ago CITATION.md CONTRIBUTING.md CONTRIBUTORSAdd myself to CONTRIBUTORS.11 years ago LICENSE MakefileAdd a make target to build an Idris without optimization11 years ago README.md Setup.hsRemove unused imports11 years ago config.mkFix build with clang on Windows11 years ago custom.mk-alldepsSaner set of suggested defaults for cabal flags.12 years ago idris-tutorial.pdfUpdated PDF version of tutorial to current release.11 years ago idris.cabalAdded missing expected file11 years ago mkpkg.sh stack.yamlAdd Stackage Configuration for easy building11 years ago win-release.sh