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
bin1460.05Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2023-03-210.1.3phadej
fin1672.012Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2023-03-210.3phadej
ral1440.04Random access lists (data, dependent-types, gpl, library, singletons)2022-01-030.2.1phadej
ral-lens150.00Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2021-02-280.2phadej
ral-optics130.00Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2021-02-280.2phadej