ChasingBottoms-1.3.0: For testing partial and infinite values.
Portability
non-portable (GHC-specific)
Stability
experimental
Maintainer
http://www.cs.nott.ac.uk/~nad/
Test.ChasingBottoms.Nat
Description
A simple implementation of natural numbers on top of Integers.
Note that since Integers are used there is no infinite natural
number; in other words, succ is strict.