Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make type-level evaluation work with :kind! | Iavor S. Diatchki | 2013-11-12 | 1 | -5/+0 |
* | Add support for evaluation of type-level natural numbers. | Iavor S. Diatchki | 2013-09-12 | 1 | -0/+5 |
index : delta/haskell.git | ||
gitlab.haskell.org: ghc/ghc.git |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make type-level evaluation work with :kind! | Iavor S. Diatchki | 2013-11-12 | 1 | -5/+0 |
* | Add support for evaluation of type-level natural numbers. | Iavor S. Diatchki | 2013-09-12 | 1 | -0/+5 |