benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Alphabetize and indent imports and LANGUAGE pragmas10 years ago docs/Fix reference to "refl" in misc reference10 years ago icons/ idrisdoc/ jsrts/added many missing primitives that were in the old backend9 years ago libs/Update CoList.idr9 years ago logos/ main/Fixed unstylized things in Idris and stylize.sh script10 years ago man/Update version numbers10 years ago rts/check for non-negative return values in idris_writeStr9 years ago samples/Refresh the tutorial10 years ago scripts/Move script from /bin to /scripts10 years ago src/Support presentations of abstract names in output9 years ago test/Don't run the :exec test using the JS code generator9 years ago .gitattributes .gitignorePort the test infrastructure to Tasty10 years ago .stylish-haskell.yamlConvert tabs to spaces in stylish10 years ago .travis.ymlMade stack and GHC versions flexible10 years ago CHANGELOG.mdMerge branch 'master' into liftDecls_js_backend9 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.mdUpdate README.md9 years ago RELEASE-CHECKS.mdUpdate version numbers10 years ago Setup.hsFix build system dir inconsistencies.10 years ago appveyor.ymlUse GHC 7.10.3 instead10 years ago config.mkFix the build on MSYS2 (Windows) when MSYSTEM=MINGW{32,64}10 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabaladded many missing primitives that were in the old backend9 years ago mkpkg.shCalculate SHA256 in mkpkg.sh10 years ago stack-shell.nixUpdated to latest LTS Haskell10 years ago stack.yamlUpdated to latest LTS Haskell10 years ago stylize.shAbort if stylish-haskell is missing.10 years ago win-release.sh