Packages tagged type-level-programming
1 package has this tag.
[Merge tag] (trustees only)Related tags: data (1), library (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| type-fold | 2 | 0.0 | 0 | A library for folding types to a value. | (data, library, mit, type-level-programming) | 2026-02-10 | 0.1.0.0 | eiko |