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
bin420.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2019-12-13phadej
fin1812.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, math, singletons)2019-12-13phadej
ral420.0Random access lists (data, dependent-types, gpl, library, singletons)2019-12-13phadej
ral-lens280.0Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2019-12-13phadej
ral-optics150.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2019-12-13phadej