.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/better explanation of replace and rewrite8 years ago icons/ idrisdoc/ jsrts/Whitespacing.8 years ago libs/Eliminate redundant lets.8 years ago logos/ main/Clean up unused imports (#4065)9 years ago man/Update version number8 years ago rts/memcpy neede by idris_rts.h even without pthread enabled8 years ago samples/Remove long-deprecated `abstract`9 years ago scripts/ src/Make binary files the default when opening.8 years ago test/Fix appveyor8 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.mdMerge pull request #4658 from martinbaker/mydoc8 years ago CITATION.md CONTRIBUTING.mdFix git clone typo in CONTRIBUTING.md (#4568)8 years ago CONTRIBUTORSadd to proof documentation8 years ago INSTALL.mdWarn stack install users to keep .stack_work around8 years ago LICENSE Makefile README.md RELEASE-CHECKS.md Setup.hsAllow building on GHC 8.4.19 years ago appveyor.ymlFix appveyor8 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.cabalRelax Cabal and zip-archive bounds8 years ago mkpkg.sh stack-shell.nixAdd perl, nodejs to stack-shell.nix8 years ago stack.yamlstack.yaml: switch to lts-13.0 (ghc 8.6.3)8 years ago stylize.sh win-release.sh