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
bin1020.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2021-02-28phadej
fin1242.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2021-02-28phadej
ral1330.0Random access lists (data, dependent-types, gpl, library, singletons)2021-02-28phadej
ral-lens180.0Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2021-02-28phadej
ral-optics140.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2021-02-28phadej