Packages tagged type
6 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (6), library (6)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| cmptype | 90 | 0.0 | Compare types of any kinds | (bsd3, library, type) | 2019-08-11 | isovector |
| haskus-utils-types | 187 | 0.0 | Haskus types utility modules | (bsd3, library, type) | 2019-12-21 | SylvainHenry |
| membership | 55 | 0.0 | Indices for type level lists | (bsd3, library, type) | 2019-05-31 | FumiakiKinoshita |
| type-errors | 213 | 0.0 | Tools for writing better type errors | (bsd3, library, type) | 2019-07-03 | isovector |
| type-int | 72 | 0.0 | Type Level 2s- and 16s- Complement Integers | (bsd3, library, type) | 2012-05-11 | EdwardKmett |
| type-sets | 65 | 0.0 | Type-level sets | (bsd3, library, type) | 2019-08-11 | isovector |