@hackage peano-inf0.6.5

Lazy Peano numbers including observable infinity value.

Categories
License
BSD-3-Clause
Maintainer
Péter Diviánszky <divip@aszt.inf.elte.hu>
Links
- Documentation
- No source repository
- Security
Versions
- 0.6.5 Fri, 5 Dec 2008
- 0.6.2 Sat, 22 Nov 2008
- 0.6.1 Sat, 22 Nov 2008
- 0.6 Thu, 20 Nov 2008
- 0.5 Fri, 14 Nov 2008
- 0.4 Fri, 14 Nov 2008

Installation
In your cabal file:
Dependencies (3)
Dependents (1)
@hackage/acme-everything

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/