| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add 'type family (m :: Symbol) <> (n :: Symbol)' | Oleg Grenrus | 2017-01-20 | 1 | -2/+10 |
| * | Fixup basic type-lits test. | Iavor S. Diatchki | 2013-10-03 | 1 | -16/+18 |
| * | Add some tests for evaluating type-level naturals. | Iavor S. Diatchki | 2013-09-12 | 1 | -0/+32 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |