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 | 264 | 0.0 | 5 | Bin: binary natural numbers. | (data, dependent-types, gpl, library, math, singletons) | 2023-03-21 | 0.1.3 | phadej |
fin | 291 | 2.0 | 12 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, math, singletons) | 2023-03-21 | 0.3 | phadej |
ral | 228 | 0.0 | 4 | Random access lists | (data, dependent-types, gpl, library, singletons) | 2022-01-03 | 0.2.1 | phadej |
ral-lens | 7 | 0.0 | 0 | Length-indexed random access lists: lens utilities. | (data, dependent-types, gpl, lens, library, singletons) | 2021-02-28 | 0.2 | phadej |
ral-optics | 6 | 0.0 | 0 | Length-indexed random access lists: optics utilities. | (data, dependent-types, gpl, library, optics, singletons) | 2021-02-28 | 0.2 | phadej |