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