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). For a comparison with other Peano number implementation, 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 |
| 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 | Wed Nov 12 11:46:53 UTC 2008 |
| Uploaded by | PeterDivianszky |
| Built on | ghc-6.10, ghc-6.12 |
Modules
- Number
- Peano
Downloads
- peano-inf-0.3.tar.gz (Cabal source package)
- package description (included in the package)