gcross / natural-number

Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.