.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/Update version number8 years ago icons/ idrisdoc/ jsrts/Fix undeclared variable in node runtime9 years ago libs/Added `VerifiedAlternative` by analogy with `VerifiedSemigroup`.8 years ago logos/ main/Clean up unused imports (#4065)9 years ago man/Update version number8 years ago rts/Fix potential memory allocation problem8 years ago samples/Remove long-deprecated `abstract`9 years ago scripts/Add OpenBSD support to shebang script9 years ago src/Remove a needless log8 years ago test/Handle constant negation in parsing phase8 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.ymlDisable travis job that always times out8 years ago CHANGELOG.mdUpdate CHANGELOG8 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 azure-pipelines.ymlImplement Azure Pipelines CI8 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.nixAdd perl, nodejs to stack-shell.nix8 years ago stack.yamlUpdated to latest LTS Haskell snapshot.8 years ago stylize.sh win-release.sh