Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -2/+2 |
* | Add rewriting to typechecking plugins | sheaf | 2021-08-13 | 1 | -7/+7 |
* | Add nontrivial type-checking plugin tests | sheaf | 2021-07-23 | 1 | -0/+58 |
index : delta/haskell.git | ||
gitlab.haskell.org: ghc/ghc.git |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -2/+2 |
* | Add rewriting to typechecking plugins | sheaf | 2021-08-13 | 1 | -7/+7 |
* | Add nontrivial type-checking plugin tests | sheaf | 2021-07-23 | 1 | -0/+58 |