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
bin1660.05Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2024-06-080.1.4phadej
fin2112.014Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2024-11-090.3.2phadej
ral1600.04Random access lists (data, dependent-types, gpl, library, singletons)2024-06-080.2.2phadej
ral-lens160.00Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2024-06-080.2.1phadej
ral-optics60.00Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2024-06-080.2.1phadej