Data.Number.Int
Description
The implementations of all functions except for rem, quot, div, mod are supposed to be as non-strict as possible.
nat-0.1: Lazy binary natural numbers
Data.Number.Int
Description
The implementations of all functions except for rem, quot, div, mod are supposed to be as non-strict as possible.