nat-0.1: Lazy binary natural numbers
The implementations of all functions except for rem, quot, div, mod are
supposed to be as non-strict as possible.
data Int Source
A negative natural number
A positive natural number or zero
pos :: Nat -> IntSource
Produced by Haddock version 2.8.1