Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Unify result type earlier to improve error messages | Simon Peyton Jones | 2021-03-01 | 1 | -6/+5 |
* | Testsuite cleanup | Jan Stolarek | 2015-09-12 | 1 | -15/+6 |
* | Injective type families | Jan Stolarek | 2015-09-03 | 1 | -0/+16 |