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 |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
bin | 166 | 0.0 | 5 | Bin: binary natural numbers. | (data, dependent-types, gpl, library, math, singletons) | 2024-06-08 | 0.1.4 | phadej |
fin | 211 | 2.0 | 14 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, math, singletons) | 2024-11-09 | 0.3.2 | phadej |
ral | 160 | 0.0 | 4 | Random access lists | (data, dependent-types, gpl, library, singletons) | 2024-06-08 | 0.2.2 | phadej |
ral-lens | 16 | 0.0 | 0 | Length-indexed random access lists: lens utilities. | (data, dependent-types, gpl, lens, library, singletons) | 2024-06-08 | 0.2.1 | phadej |
ral-optics | 6 | 0.0 | 0 | Length-indexed random access lists: optics utilities. | (data, dependent-types, gpl, library, optics, singletons) | 2024-06-08 | 0.2.1 | phadej |