Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rework the handling of SkolemInfo | Matthew Pickering | 2022-01-29 | 1 | -3/+3 |
* | Don't default type variables in type families | sheaf | 2021-10-26 | 1 | -9/+23 |
* | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 1 | -9/+9 |
* | Fix kind inference for data types. Again. | Simon Peyton Jones | 2020-12-08 | 1 | -0/+18 |