Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement type applications in patterns | Cale Gibbard | 2020-12-14 | 1 | -1/+1 |
* | Use a newtype `Code` for the return type of typed quotations (Proposal #195) | Matthew Pickering | 2020-07-21 | 4 | -11/+11 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -2/+2 |
* | TH: wrapGenSyns, don't split the element type too much | Matthew Pickering | 2020-02-21 | 2 | -0/+65 |
* | Overloaded Quotation Brackets (#246) | Matthew Pickering | 2020-01-12 | 11 | -0/+160 |