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.