@hackage / peano-inf

Lazy Peano numbers including observable infinity value.

Latest0.6.5

Metadata

Last updated 5 Dec 2008, by PeterDivianszky
License BSD-3-Clause
Maintained by: Péter Diviánszky <divip@aszt.inf.elte.hu>
Lottery factor: 0

Links

Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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/