peano-inf: Lazy Peano numbers including observable infinity value.
Lazy Peano numbers including observable infinity value.
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/
Downloads
- peano-inf-0.6.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 0.6.5 |
|---|---|
| Dependencies | base, lazysmallcheck [details] |
| License | BSD-3-Clause |
| 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> |
| Category | Data |
| Uploaded | by PeterDivianszky at 2008-11-22T02:06:43Z |
| Distributions | NixOS:0.6.5 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 6461 total (3 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |