The peano-inf package
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/
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, containers, lazysmallcheck |
| 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 | Fri Dec 5 19:32:55 UTC 2008 |
| Uploaded by | PeterDivianszky |
| Built on | ghc-6.10, ghc-6.12, ghc-7.0 |
Modules
Downloads
- peano-inf-0.6.5.tar.gz (Cabal source package)
- package description (included in the package)