benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Remove --yes-really11 years ago docs/Bumped doc version into alignment with src.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/Tweak State definition11 years ago logos/ main/Main.hs: drop unused imports, minor readability improvements11 years ago man/ rts/Fix order of init in MKCDATA/c11 years ago samples/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago src/Increase the stack reserved on Windows11 years ago test/Change expected for primitives00611 years ago .gitattributes .gitignoreignore .orig files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGMore flexible holes11 years ago CITATION.md CONTRIBUTING.mdCONTRIBUTING.md: Fix typo "Factroy" -> "Factory"11 years ago CONTRIBUTORSFile Modes CHANGELOG11 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-alldeps idris-tutorial.pdfUser Docs updates11 years ago idris.cabalMerge pull request #2903 from ziman/c-heap11 years ago mkpkg.sh stack-shell.nixFix stack --nix on OS X11 years ago stack.yamlFix stack --nix on OS X11 years ago win-release.sh