.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/Add parity arithmetic proofs7 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/Merge remote-tracking branch 'origin/master' into ghc-8.87 years ago test/Rename expected, input and run7 years ago .gitattributes .gitignore .hlint.yamlUse new HLint config file.9 years ago .stylish-haskell.yaml .travis.ymlTry to fix ppa load7 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 MakefileMerge remote-tracking branch 'origin/master' into ghc-8.87 years ago README.mduse HTTPS URL instead of HTTP URL when possible7 years ago RELEASE-CHECKS.md Setup.hsRename expected, input and run7 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.cabalMerge remote-tracking branch 'origin/master' into ghc-8.87 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