nat-0.2: 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 :: Nat1 -> IntSource
Produced by Haddock version 2.8.0