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)

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
bin	10	0.0	5	Bin: binary natural numbers.	(data, dependent-types, gpl, library, math, singletons)	2024-06-08	0.1.4	phadej
fin	10	2.0	15	Nat and Fin: peano naturals and finite numbers	(bsd3, data, dependent-types, library, math, singletons)	2024-11-09	0.3.2	phadej
ral	6	0.0	4	Random access lists	(data, dependent-types, gpl, library, singletons)	2024-06-08	0.2.2	phadej
ral-lens	3	0.0	0	Length-indexed random access lists: lens utilities.	(data, dependent-types, gpl, lens, library, singletons)	2024-06-08	0.2.1	phadej
ral-optics	3	0.0	0	Length-indexed random access lists: optics utilities.	(data, dependent-types, gpl, library, optics, singletons)	2024-06-08	0.2.1	phadej

Showing 1 to 5 of 5 entries