Peano numbers with attendant bells and whistles.

Value-level lazy Peano numbers for all your proof-theoretic and infinity-related needs. The features are: 1) natural and integral numbers (N and Z); 2) lazy infinities; and 3) instances for all relevant typeclasses, meaning that Peano arithmetic can be used in generic functions without extra hassle. The implementation is naive: a number of magnitude n may consume O(n) bytes of memory.

numericpeano

Peano numbers with the expected bells and whistles. The implementation is naive (the memory footprint of a number n is O(n) bytes).

Features:

• lazy evaluation, i.e. compatibility with infinity,
• positive as well as negative numbers (N and Z),
• instances for the usual typeclasses: Enum, Bounded, Num, Integral, etc.