The latest version of peano-inf is 0.6.5-0.
peano-inf
Version 0.4 revision 0 uploaded by PeterDivianszky.
Package meta
- Synopsis
- Lazy Peano numbers including observable infinity value.
- Description
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/
- Author
- Péter Diviánszky <divip@aszt.inf.elte.hu>
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2008 by Péter Diviánszky
- Homepage
- n/a
- Maintainer
- Péter Diviánszky <divip@aszt.inf.elte.hu>
- Package URL
- n/a
- Stability
- experimental