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 |