@hackage / numtype-dk

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

Latest0.5.0.3

Dependencies