gcross/natural-number
Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.
HaskellBSD-2-Clause
Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.
HaskellBSD-2-Clause