benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Alphabetize and indent imports and LANGUAGE pragmas10 years ago docs/Update version numbers10 years ago icons/ idrisdoc/ jsrts/Use synchronous writes in node runtime.10 years ago libs/Merge pull request #3583 from PoroCYon/master10 years ago logos/ main/Fixed unstylized things in Idris and stylize.sh script10 years ago man/Update version numbers10 years ago rts/Fix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`.10 years ago samples/Remove deprecated calls to return10 years ago scripts/Move script from /bin to /scripts10 years ago src/Change a lookupCtxt to lookupCtxtExact10 years ago test/Fix reporting of infinite unification10 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.mdRun Idris in a UTF-8-compatible codepage on Windows10 years ago CITATION.md CONTRIBUTING.mdRemoved reference to now deprecated dragon egg process10 years ago CONTRIBUTORSMerge pull request #3629 from atacratic/DataZZProofs10 years ago HLint.hsTurn on some LANGUAGE pragmas to make stylish-haskell happy.10 years ago INSTALL.mdUpdate INSTALL with better path for libFFI10 years ago LICENSE MakefileFix typo, make stylize.sh work when a dist directory exists10 years ago README.mdAdd IRC badge for #idris channel (#3433)10 years ago RELEASE-CHECKS.mdAddresses #1235 Add release checklist.11 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-alldepsRemove curses dependency11 years ago idris-tutorial.pdfUpdated document versions to 0.11 and updated tutorial pdf.11 years ago idris.cabalMerge pull request #3679 from jfdm/make-travis-pass-again10 years ago mkpkg.shFix interpreter paths for NixOS by using /usr/bin/env10 years ago stack-shell.nixBump to latest LTS Haskell 7.14.10 years ago stack.yamlBump to latest LTS Haskell 7.14.10 years ago stylize.shFix interpreter paths for NixOS by using /usr/bin/env10 years ago win-release.sh