Peano numbers with attendant bells and whistles.

Latest on Hackage:

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 to host generated Haddocks.

Apache-2.0 licensed by Janos Tapolczai


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.

Depends on 1 package:
Used by 1 package:
comments powered byDisqus