.github/ benchmarks/use HTTPS URL instead of HTTP URL when possible7 years ago codegen/ docs/Fix Readthedocs PDF generation7 years ago icons/ idrisdoc/ jsrts/Update Runtime-node.js8 years ago libs/Fix fileModifiedTime on 32 bit systems7 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/Migrated to lts-15.37 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.ymlRemoved GHC 8.67 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.cabalRemoved stack-alt.yaml from Extra-source-files7 years ago mkpkg.sh stack-shell.nixAdd perl, nodejs to stack-shell.nix8 years ago stack.yamlMigrated to lts-15.37 years ago stylize.sh win-release.sh