.github/ benchmarks/Read idris executable from environment variable9 years ago codegen/Merge branch 'master' into exportiface_js9 years ago docs/Correct MKSTR arguments in FFI docs.7 years ago icons/ idrisdoc/ jsrts/Update Runtime-node.js8 years ago libs/Add Ackermann function definitions and proof7 years ago logos/ main/Clean up unused imports (#4065)9 years ago man/Update version numbers ready for release7 years ago rts/Small runtime performance tweak7 years ago samples/Remove long-deprecated `abstract`9 years ago scripts/ src/Add missing case in DumpBC7 years ago test/test for file existence7 years ago .gitattributes .gitignore .hlint.yamlUse new HLint config file.9 years ago .stylish-haskell.yaml .travis.ymlAn attempt to use proper Cabal version.7 years ago CHANGELOG.mdUpdate version numbers ready for release7 years ago CITATION.md CONTRIBUTING.mdFix git clone typo in CONTRIBUTING.md (#4568)8 years ago CONTRIBUTORSadd to proof documentation8 years ago INSTALL.mdFix typo7 years ago LICENSE MakefileCompatibility with Cabal 3.07 years ago README.md RELEASE-CHECKS.md Setup.hsAllow building on GHC 8.4.19 years ago appveyor.ymlFix Appveyor by pinning cabal7 years ago azure-pipelines.ymlImplement Azure Pipelines CI8 years ago config.mkStrip unreachable code/data8 years ago custom.mk-alldeps idris-tutorial.pdfUpdate tutorial PDF7 years ago idris.cabalupdated ansi-terminal dependency to accept 0.9.x7 years ago mkpkg.sh stack-alt.yamlAdd an alternative stack configuration file to deal with upstream GHC issues.7 years ago stack-shell.nixAdd perl, nodejs to stack-shell.nix8 years ago stack.yamlAn attempt to use proper Cabal version.7 years ago stylize.sh win-release.sh