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