peano-inf

Lazy Peano numbers including observable infinity value.

Lazy Peano numbers including observable infinity value.

This data type is ideal for lazy list length computation and for serveral graph algorithms.

For a comparison with other Peano number implementations, see http://people.inf.elte.hu/divip/peano/