The peano-inf package

Lazy Peano numbers including observable infinity value.

This data type was needed in a graph traversing algorithm.

This data type is ideal for lazy list length computation (the infinite value is not needed in this case). See also http://people.inf.elte.hu/divip/peano/

Properties

Versions	0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 0.6.5
Dependencies	base
License	BSD3
Copyright	(c) 2008 by Péter Diviánszky
Author	Péter Diviánszky <divip@aszt.inf.elte.hu>
Maintainer	Péter Diviánszky <divip@aszt.inf.elte.hu>
Stability	experimental
Category	Data
Upload date	Tue Nov 11 20:05:29 UTC 2008
Uploaded by	PeterDivianszky
Built on	ghc-6.10, ghc-6.12

Modules

Number
- Peano
  - Number.Peano.Inf

Downloads

peano-inf-0.1.tar.gz (Cabal source package)
package description (included in the package)