benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Remove --yes-really11 years ago docs/Clarified the formatting in the section on `If`.11 years ago icons/Add the idris icon to the windows build11 years ago idrisdoc/ jsrts/Add a getLine primitive to browser js11 years ago libs/Merge pull request #2976 from ulidtko/patch-111 years ago logos/ main/Main.hs: drop unused imports, minor readability improvements11 years ago man/ rts/Create a new VM if started on a thread without one.11 years ago samples/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago src/Normalise type when introducing lambda11 years ago test/Normalise type when introducing lambda11 years ago .gitattributes .gitignoreignore .orig files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGImplicit bindings warnings11 years ago CITATION.md CONTRIBUTING.mdCONTRIBUTING.md: Fix typo "Factroy" -> "Factory"11 years ago CONTRIBUTORSFile Modes CHANGELOG11 years ago DockerfileAdded Dockerfile11 years ago INSTALL.mdAdd instructions to deploy with stack on NixOS. Remove the resolver version from the documentation11 years ago LICENSE MakefileSet target explicitly for test_c11 years ago README.mdUpdates to installation docs for devs.11 years ago Setup.hsUse cabal function for dir11 years ago config.mkRemove dead code in build system11 years ago custom.mk-alldepsRemove curses dependency11 years ago idris-tutorial.pdfUser Docs updates11 years ago idris.cabalImplicit bindings warnings11 years ago mkpkg.sh stack-shell.nixBumped idris to work with latest LTS Haskell release 5.9.11 years ago stack.yamlBumped idris to work with latest LTS Haskell release 5.9.11 years ago win-release.sh