numtype-dk

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families

Available in

Overlay	Newest	Ebuilds	Last activity
haskell GitHub ↗	0.5.0.3	1	2 d	details ›

Version	Overlay	amd64	Committed
0.5.0.3 ^≈	haskell	amd64 testing	6 mo	view · download · history ↗