on ecc97b5 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/Tiny fix in the tutorial on default implicits icons/ idrisdoc/ jsrts/Fix undeclared variable in node runtime libs/random numbers for ST 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/fix stylize issues test/Introduce a PkgName abstraction to represent package name instead of String .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.mdMerge pull request #4026 from vincenthz/pkgname-abstraction 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.nixRefactor stack-shell.nix to use buildStackProject stack.yamlClean up unused imports (#4065) stylize.shAbort if stylish-haskell is missing. win-release.sh