@hackage / numtype-dk

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

0.5.0.3

Security Advisories

No advisories found.