.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/Error when using closure as callback in C backend8 years ago icons/ idrisdoc/ jsrts/Fix undeclared variable in node runtime9 years ago libs/add currentDir8 years ago logos/ main/Clean up unused imports (#4065)9 years ago man/Update version number8 years ago rts/add currentDir8 years ago samples/Remove long-deprecated `abstract`9 years ago scripts/Add OpenBSD support to shebang script9 years ago src/Handle Inferred terms in getDepsTerm8 years ago test/Make Iso a record9 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.ymlUse a newer cabal with 7.108 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.cabalRaise aeson bound8 years ago mkpkg.sh stack-shell.nixFaster nix-shell invocation9 years ago stack.yamlUpdated to latest LTS Haskell snapshot.8 years ago stylize.sh win-release.sh