benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Refactoring: Move options out of AbsSyntax9 years ago docs/Merge pull request #3795 from kaeluka/patch-19 years ago icons/ idrisdoc/ jsrts/RTS: use substr rather than slice9 years ago libs/add Uninhabited instances for True=False, remove unused proof from Data.Heap9 years ago logos/ main/Refactoring: Move options out of AbsSyntax9 years ago man/Update version numbers10 years ago rts/Implement tracing for C backend9 years ago samples/Refresh the tutorial10 years ago scripts/Move script from /bin to /scripts10 years ago src/Merge pull request #3921 from geigerzaehler/remove-old-ghc9 years ago test/Merge branch 'master' of github.com:idris-lang/Idris-dev into add_regression_test_js_unexpected_con_as_glob9 years ago .gitattributes .gitignorePort the test infrastructure to Tasty10 years ago .stylish-haskell.yamlConvert tabs to spaces in stylish10 years ago .travis.ymlDrop support for GHC <= 7.10.39 years ago CHANGELOG.mdupdate CHANGELOG.md9 years ago CITATION.md CONTRIBUTING.mdRemoved reference to now deprecated dragon egg process10 years ago CONTRIBUTORSUpdate CONTRIBUTORS10 years ago HLint.hsTurn on some LANGUAGE pragmas to make stylish-haskell happy.10 years ago INSTALL.mdadded hint to get around build failures due to old ibc files10 years ago LICENSE MakefileFix typo, make stylize.sh work when a dist directory exists10 years ago README.mdFix hackage widget9 years ago RELEASE-CHECKS.mdUpdate version numbers10 years ago Setup.hsDrop support for GHC <= 7.10.39 years ago appveyor.ymlRun travis under trusty9 years ago config.mkFix the build on MSYS2 (Windows) when MSYSTEM=MINGW{32,64}10 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalMerge pull request #3921 from geigerzaehler/remove-old-ghc9 years ago mkpkg.shCalculate SHA256 in mkpkg.sh10 years ago stack-shell.nixUpdated stack configuration to use LTS-8.18.9 years ago stack.yamlUpdated stack configuration to use LTS-8.18.9 years ago stylize.shAbort if stylish-haskell is missing.10 years ago win-release.sh