| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add missing axiom exports for CharToNat/NatToChar | Vladislav Zavialov | 2021-04-01 | 1 | -0/+3 |
| * | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -1/+2 |
| * | Fix #14934 by including axSub0R in typeNatCoAxiomRules | Ryan Scott | 2018-03-19 | 1 | -0/+14 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |