Packages tagged type
3 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (3), library (3)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| membership | 20 | 0.0 | Indices for type level lists | (bsd3, library, type) | 2019-05-31 | FumiakiKinoshita |
| type-errors | 110 | 0.0 | Tools for writing better type errors | (bsd3, library, type) | 2019-07-03 | isovector |
| type-int | 34 | 0.0 | Type Level 2s- and 16s- Complement Integers | (bsd3, library, type) | 2012-05-11 | EdwardKmett |