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 | 407 | 0.0 | Bin: binary natural numbers. | (data, dependent-types, gpl, library, math, singletons) | 2022-01-03 | phadej |
| fin | 454 | 2.0 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, math, singletons) | 2022-01-03 | phadej |
| ral | 395 | 0.0 | Random access lists | (data, dependent-types, gpl, library, singletons) | 2022-01-03 | phadej |
| ral-lens | 8 | 0.0 | Length-indexed random access lists: lens utilities. | (data, dependent-types, gpl, lens, library, singletons) | 2021-02-28 | phadej |
| ral-optics | 3 | 0.0 | Length-indexed random access lists: optics utilities. | (data, dependent-types, gpl, library, optics, singletons) | 2021-02-28 | phadej |