Index
| -| | Number.Peano.Inf |
| diff | Number.Peano.Inf |
| infDiff | Number.Peano.Inf |
| infinity | Number.Peano.Inf |
| Nat | Number.Peano.Inf |
| zeroDiff | Number.Peano.Inf |
peano-inf-0.3: Lazy Peano numbers including observable infinity value.
Index
| -| | Number.Peano.Inf |
| diff | Number.Peano.Inf |
| infDiff | Number.Peano.Inf |
| infinity | Number.Peano.Inf |
| Nat | Number.Peano.Inf |
| zeroDiff | Number.Peano.Inf |