The peano-inf package

[Tags:bsd3, library]

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). See also


Versions 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 0.6.5
Dependencies base [details]
License BSD3
Copyright (c) 2008 by Péter Diviánszky
Author Péter Diviánszky <>
Maintainer Péter Diviánszky <>
Stability experimental
Category Data
Uploaded Tue Nov 11 20:05:29 UTC 2008 by PeterDivianszky
Distributions NixOS:0.6.5
Downloads 1694 total (14 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees