on aa2b5b3 help sign in
Idris-dev
16 folders, 25 files
.github/Added issue template benchmarks/Fix fasta benchmark codegen/Merge branch 'master' into exportiface_js docs/Fix typo in Dep.Eff documentation. icons/ idrisdoc/ jsrts/Fix undeclared variable in node runtime libs/change `<|>` operator to be right-associative logos/ main/Clean up unused imports (#4065) man/Update version numbers rts/Use the gmp API samples/Refresh the tutorial scripts/Add OpenBSD support to shebang script src/Add styling for metavariables in LaTeX and HTML pretty printer test/Merge branch 'master' into js_ioref .gitattributes .gitignoreAdd cabal new-build's build dir to ignore .stylish-haskell.yamlConvert tabs to spaces in stylish .travis.ymlDisable macOS builds on Travis CHANGELOG.mdchange `<|>` operator to be right-associative CITATION.md CONTRIBUTING.mdUpdate CONTRIBUTING.md CONTRIBUTORSMerge pull request #4091 from jdevuyst/fix-issue-4090 HLint.hsTurn on some LANGUAGE pragmas to make stylish-haskell happy. INSTALL.mdadded hint to get around build failures due to old ibc files LICENSE MakefileFix typo, make stylize.sh work when a dist directory exists README.mdFix hackage widget RELEASE-CHECKS.mdUpdate version numbers Setup.hsFix build with Cabal 2.0.0.2 on Windows appveyor.ymlTry to make appveyor not be mad at warnings config.mkFix the build on MSYS2 (Windows) when MSYSTEM=MINGW{32,64} custom.mk-alldeps idris-tutorial.pdf idris.cabalFix fingertree bounds to < 0.1.2 mkpkg.shCalculate SHA256 in mkpkg.sh stack-shell.nixUpdate resolver to match current version of GHC stack.yamlClean up unused imports (#4065) stylize.shAbort if stylish-haskell is missing. win-release.sh