.github/ benchmarks/use HTTPS URL instead of HTTP URL when possible7 years ago codegen/ docs/Change lines of code of JavaScript to 60 for Hello World example in docs7 years ago icons/ idrisdoc/ jsrts/Update Runtime-node.js8 years ago libs/Simplify some Nat proofs7 years ago logos/ main/ man/use HTTPS URL instead of HTTP URL when possible7 years ago rts/Remove unused header files in the C RTS7 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/Disable travis for GHC 8.8 (libffi still broken)7 years ago .gitattributes .gitignore .hlint.yamlUse new HLint config file.9 years ago .stylish-haskell.yaml .travis.ymlAdd a travis target building Idris 27 years ago CHANGELOG.mdDisable travis for GHC 8.8 (libffi still broken)7 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 MakefileDisable travis for GHC 8.8 (libffi still broken)7 years ago README.mdMention Idris 2 in README7 years ago RELEASE-CHECKS.md Setup.hsRename expected, input and run7 years ago appveyor.ymlDisable travis for GHC 8.8 (libffi still broken)7 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.cabalDisable travis for GHC 8.8 (libffi still broken)7 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.yamlAdd a travis target building Idris 27 years ago stylize.sh win-release.sh