Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rn | Vladislav Zavialov | 2022-03-15 | 1 | -1/+1 |
* | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 1 | -0/+1 |
* | Allow (~) in the head of a quantified constraints | Simon Peyton Jones | 2018-09-13 | 1 | -0/+12 |