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