ChasingBottoms-1.3.0.6: For testing partial and infinite values.
Portability
non-portable (GHC-specific)
Stability
experimental
Maintainer
http://www.cse.chalmers.se/~nad/
Safe Haskell
None
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.