peano-inf
Version 0.6.5 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 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/
- 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