benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Remove --yes-really11 years ago docs/Added slightly to the C FFI reference, and corrected a code example i… (#3126)10 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/Fixed the way default totality modifiers are added, and checked for conflicting totality modifiers.10 years ago logos/ main/Cleanup main warnings (#3123)11 years ago man/Changed type classes in error messages and documentation to interfaces where necessary (previously forgotten)11 years ago rts/RTS tweaks10 years ago samples/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago src/Merge branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-covering10 years ago test/Search open instances first10 years ago .gitattributes .gitignoreAdded linux version of test/runtest to .gitignore10 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOG.mdMore control over resolving named implementations10 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 RELEASE-CHECKS.mdAddresses #1235 Add release checklist.11 years ago Setup.hsFix #1957 Make man page installable.11 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 branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-covering10 years ago mkpkg.sh stack-shell.nixBumped stack to latest version 5.1111 years ago stack.yamlBumped stack to latest version 5.1111 years ago win-release.sh