@hackage / type-unary

Type-level and typed unary natural numbers, inequality proofs, vectors

0.3.2

Security Advisories

No advisories found.