.github/Added issue template9 years ago benchmarks/Read idris executable from environment variable9 years ago codegen/Merge branch 'master' into exportiface_js9 years ago docs/A paper by David R. Christiansen has been moved.8 years ago icons/ idrisdoc/ jsrts/Fix undeclared variable in node runtime9 years ago libs/Change DecEq primitives to use believe_me8 years ago logos/ main/Clean up unused imports (#4065)9 years ago man/Update version number8 years ago rts/Leak when receiving from inactive sender8 years ago samples/Remove long-deprecated `abstract`9 years ago scripts/Add OpenBSD support to shebang script9 years ago src/Fix repetition in Idris Highlights.8 years ago test/Change DecEq primitives to use believe_me8 years ago .gitattributes .gitignoreAdd cabal new-build's build dir to ignore9 years ago .hlint.yamlUse new HLint config file.9 years ago .stylish-haskell.yaml .travis.ymlUpdate travis with newer GHC versions9 years ago CHANGELOG.mdUpdate version number8 years ago CITATION.md CONTRIBUTING.mdUpdate CONTRIBUTING.md9 years ago CONTRIBUTORSAdd myself to CONTRIBUTORS9 years ago INSTALL.mdWarn stack install users to keep .stack_work around8 years ago LICENSE Makefile README.mdFix hackage widget9 years ago RELEASE-CHECKS.md Setup.hsAllow building on GHC 8.4.19 years ago appveyor.ymlfix PATH9 years ago config.mkStrip unreachable code/data8 years ago custom.mk-alldeps idris-tutorial.pdfLet's ensure the PDF is updated as well.8 years ago idris.cabalUpdate version number8 years ago mkpkg.sh stack-shell.nixFaster nix-shell invocation9 years ago stack.yamlupdated stack to latest LTS version (11.11)8 years ago stylize.sh win-release.sh