numericpeano

Peano numbers with attendant bells and whistles.

https://github.com/ombocomp/numericpeano/

Latest on Hackage:

0.2.0.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

Apache-2.0 licensed by Janos Tapolczai

Maintained by [email protected]

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.