benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Remove --yes-really11 years ago docs/Fixes #2932 with better documentation.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/Make command line options accessible to package parser.11 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/Allow certain CLI options to work when using iPKG files.11 years ago test/Allow certain CLI options to work when using iPKG files.11 years ago .gitattributes .gitignoreAdd generated doc dirs to .gitignore11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGAllow certain CLI options to work when using iPKG files.11 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.mkRemove dead code in build system11 years ago custom.mk-alldepsRemove curses dependency11 years ago idris-tutorial.pdfUpdated document versions to 0.11 and updated tutorial pdf.11 years ago idris.cabalMerge pull request #3070 from jfdm/jmitchell-fix/master/cleanup-deprecated-ffi11 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