.github/ benchmarks/use HTTPS URL instead of HTTP URL when possible7 years ago codegen/ docs/start on Defining Block Structure using Indents7 years ago icons/ idrisdoc/ jsrts/Update Runtime-node.js8 years ago libs/use HTTPS URL instead of HTTP URL when possible7 years ago logos/ main/ man/use HTTPS URL instead of HTTP URL when possible7 years ago rts/Small runtime performance tweak7 years ago samples/Remove long-deprecated `abstract`9 years ago scripts/ src/use HTTPS URL instead of HTTP URL when possible7 years ago test/use HTTPS URL instead of HTTP URL when possible7 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.mduse HTTPS URL instead of HTTP URL when possible7 years ago CONTRIBUTING.mduse HTTPS URL instead of HTTP URL when possible7 years ago CONTRIBUTORSadd to proof documentation8 years ago INSTALL.mdFix typo7 years ago LICENSE Makefileuse HTTPS URL instead of HTTP URL when possible7 years ago README.mduse HTTPS URL instead of HTTP URL when possible7 years ago RELEASE-CHECKS.md Setup.hsAllow building on GHC 8.4.19 years ago appveyor.ymluse HTTPS URL instead of HTTP URL when possible7 years ago azure-pipelines.ymluse HTTPS URL instead of HTTP URL when possible7 years ago config.mkStrip unreachable code/data8 years ago custom.mk-alldeps idris-tutorial.pdfUpdate tutorial PDF7 years ago idris.cabaluse HTTPS URL instead of HTTP URL when possible7 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