benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Alphabetize and indent imports and LANGUAGE pragmas10 years ago docs/Fix quotes in Effects introduction9 years ago icons/ idrisdoc/ jsrts/RTS: use substr rather than slice9 years ago libs/Add IOExcept implementation for ST.ConsoleIO9 years ago logos/ main/Fixed unstylized things in Idris and stylize.sh script10 years ago man/Update version numbers10 years ago rts/Fix allocation of buffer9 years ago samples/Refresh the tutorial10 years ago scripts/Move script from /bin to /scripts10 years ago src/JSRTS: move templates into JSRTS9 years ago test/added a test for javascript ffi passing functions9 years ago .gitattributes .gitignorePort the test infrastructure to Tasty10 years ago .stylish-haskell.yamlConvert tabs to spaces in stylish10 years ago .travis.ymlmove into before_install9 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.cabalRefactor9 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