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