benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Remove --yes-really11 years ago docs/Reclarified statement in tutorial on implicit arguments and scope.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/Prove dropEnv is total11 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/Fix handling of multiple value functions as C callbacks11 years ago test/Fix handling of multiple value functions as C callbacks11 years ago .gitattributes .gitignoreignore .orig files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGUpdate CHANGELOG11 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.mkRefactor - use else if in config.mk11 years ago custom.mk-alldepsRemove curses dependency11 years ago idris-tutorial.pdfUser Docs updates11 years ago idris.cabalUpdate cabal11 years ago mkpkg.sh stack-shell.nixRemove curses dependency11 years ago stack.yamlAdded missing libFFI dependency for Stack.11 years ago win-release.sh