Packages tagged singletons
5 packages have this tag.
[Merge tag] (trustees only)Related tags: data (5), dependent-types (5), library (5), gpl (4), math (2), bsd3 (1), lens (1), optics (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
bin | 44 | 0.0 | Bin: binary natural numbers. | (data, dependent-types, gpl, library, math, singletons) | 2019-12-13 | phadej |
fin | 62 | 2.0 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, math, singletons) | 2019-12-13 | phadej |
ral | 36 | 0.0 | Random access lists | (data, dependent-types, gpl, library, singletons) | 2019-12-13 | phadej |
ral-lens | 165 | 0.0 | Length-indexed random access lists: lens utilities. | (data, dependent-types, gpl, lens, library, singletons) | 2019-12-13 | phadej |
ral-optics | 2 | 0.0 | Length-indexed random access lists: optics utilities. | (data, dependent-types, gpl, library, optics, singletons) | 2019-12-13 | phadej |