git.iko.soy/Idris-dev
on master help sign in
history ofbe2b9bc..master
compare
9d69b47Merge pull request #3973 from idris-lang/revert_rwsNiklas Larsson e71ead1Merge pull request #3965 from felixonmars/cheapskate-0.1.1Niklas Larsson 011de20Merge pull request #3860 from edmundsmith/issue3796Niklas Larsson 202e930Merge pull request #3972 from jfdm/report-erasure-stepNiklas Larsson 408f55eMerge pull request #3966 from clayrat/patch-4Ahmad Salim Al-Sibahi 9021dacAdd a comment.Matus Tejiscak 0fcab91Add comments, add version number to CHANGELOG.Matus Tejiscak bd53469Merge pull request #3967 from bonds/masterNiklas Larsson 47bcbf8Add a CHANGELOG entry.Matus Tejiscak b5424dfRevert "Merge pull request #3896 from melted/codegen_rws"Niklas Larsson 132794cMerge pull request #3970 from jfdm/text-additionsJan de Muijnck-Hughes fab515fAdd a low-level log statement for erasure step.Jan de Muijnck-Hughes 704f18dpartial-evaluation.rst: peval is off since 1.0Alex Gryzlov 1d0f14dSome combinators for Lexing and Parsing.Jan de Muijnck-Hughes 0092d8fMerge pull request #3955 from jfdm/fix-pretty-printJan de Muijnck-Hughes deca289Merge pull request #3968 from RyanGlScott/masterNiklas Larsson 876e015Solve erasure constraints faster.Matus Tejiscak 65c1e9bAdd custom-setupRyan Scott 9f8888aMake Setup.hs build with GHC 8.2Ryan Scott 03496d1Increment IBC version numberEdmund Smith 8afc195Merge branch 'master' of Idris-dev into issue3796Edmund Smith f9194a6Add OpenBSD support to shebang scriptScott Bonds 66c1af1partial-evaluation.rst: change [static] to %staticAlex Gryzlov 41de3e7Fix compatibility with cheapskate-0.1.1Felix Yan 8537689Merge pull request #3963 from bonds/masterNiklas Larsson b9b32e5Require 'unix' library on non-Windows machines, fixes #3961Scott Bonds 9831b01Lower cheapskate boundNiklas Larsson 3d5f454Merge pull request #3929 from clayrat/add-tacticsDavid Christiansen 5d37f9cMerge pull request #3959 from christophe-calves/fix/master/undeclared-variable-in-jsrtsNiklas Larsson fe6abc1Merge with fork headEdmund Smith ab65a30Merge branch 'master' of Idris-dev into issue3796Edmund Smith b3df850Merge pull request #3932 from clayrat/patch-3Niklas Larsson ce53d0eMerge pull request #3949 from melted/cabal_stuffNiklas Larsson 00efb33Fix undeclared variable in node runtimeChristophe Calvès 5c6c22fMerge branch 'master' into cabal_stuffNiklas Larsson b7c0ee9Rename ifNotLtThenGte to notLTImpliesGTERui Gonçalves 70f172cOkay, let's use semver... (increment to v1.1.0)v1.1.0Edwin Brady 5d7388bMove extensions into source filesEdwin Brady 7a54e9cUpdate version numberv1.0.1Edwin Brady e471a1cMerge pull request #3896 from melted/codegen_rwsAhmad Salim Al-Sibahi 5af85a4Rewrite a helper function to be more maintainable.Jan de Muijnck-Hughes f801dfcFixed spelling of tildeJan de Muijnck-Hughes f2c4091Merge pull request #3953 from jfdm/pretty-printJan de Muijnck-Hughes af3a163A revised Idris port of the Wadler-Leijen pretty-printer.Jan de Muijnck-Hughes 69c231cMerge pull request #3910 from jfdm/fix-warningJan de Muijnck-Hughes c97e3e1Merge pull request #3950 from jfdm/latest-stackNiklas Larsson 253c5c8Bump Idris to compile using LTS Haskell 9.0.Jan de Muijnck-Hughes 5969872Increase upper bounds for some packagesNiklas Larsson 385dcbfMerge pull request #3948 from melted/shebangNiklas Larsson aa0b315Merge pull request #3847 from be5invis/be5invis-do-rewriteNiklas Larsson