benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Alphabetize and indent imports and LANGUAGE pragmas10 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/Fixed unstylized things in Idris and stylize.sh script10 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/fix_js_unexpected_con_as_glob9 years ago test/Add check for ipkg existence and correct extension.9 years ago .gitattributes .gitignorePort the test infrastructure to Tasty10 years ago .stylish-haskell.yamlConvert tabs to spaces in stylish10 years ago .travis.ymlOnly run benchmarks when testing C target9 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.hsFix build system dir inconsistencies.10 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.cabalRefactor9 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