| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add cmpNat, cmpSymbol, and cmpChar | Daniel Winograd-Cort | 2021-03-03 | 1 | -5/+2 |
| * | Do not imply NoStarIsType by TypeOperators/TypeInType | Vladislav Zavialov | 2018-07-16 | 1 | -8/+8 |
| * | Implement Div, Mod, and Log for type-level nats. | Iavor Diatchki | 2017-10-03 | 1 | -0/+15 |
| * | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -9/+2 |
| * | Fixup basic type-lits test. | Iavor S. Diatchki | 2013-10-03 | 1 | -27/+28 |
| * | Add some tests for type-level subtraction. | Iavor S. Diatchki | 2013-09-24 | 1 | -0/+12 |
| * | Add some tests for evaluating type-level naturals. | Iavor S. Diatchki | 2013-09-12 | 1 | -0/+81 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |