gcross/natural-number
Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.
HaskellBSD-2-Clause
No issues in this repository yet.
Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.
HaskellBSD-2-Clause
No issues in this repository yet.