.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/Fix build on GHC 8.67 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 broken snapshots7 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.mdAdded note7 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.cabalFixed typo7 years ago mkpkg.sh stack-11.22.yamlAdded stacks7 years ago stack-12.26.yamlAdded stacks7 years ago stack-15.3.yamlAdded stacks7 years ago stack-15.4.yamlAdded stacks7 years ago stack-shell.nixAdd perl, nodejs to stack-shell.nix8 years ago stack.yamlAdded stacks7 years ago stylize.sh win-release.sh