.github/ benchmarks/use HTTPS URL instead of HTTP URL when possible7 years ago codegen/ docs/Update introduction.rst7 years ago icons/ idrisdoc/ jsrts/Update Runtime-node.js8 years ago libs/Simplify isomorphism proofs7 years ago logos/ main/ man/use HTTPS URL instead of HTTP URL when possible7 years ago rts/Fix fileModifiedTime on 32 bit systems7 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.pdfMinor fix to latex sphinx build configuration.7 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