peano-inf-0.6.5: Lazy Peano numbers including observable infinity value.

Index

-|Number.Peano.Inf
diffNumber.Peano.Inf
inductive_infinityNumber.Peano.Inf
infDiffNumber.Peano.Inf
infinityNumber.Peano.Inf
lengthNumber.Peano.Inf.Functions
maximumNumber.Peano.Inf.Functions
minimumNumber.Peano.Inf.Functions
NatNumber.Peano.Inf
nodeRankNumber.Peano.Inf.Functions
nodeRankMemoNumber.Peano.Inf.Functions
nodeRankMemoIntegralNumber.Peano.Inf.Functions
testNumber.Peano.Inf.Test
zeroDiffNumber.Peano.Inf