lib:peano-inf

Modules

• Number.Peano.Inf
• Number.Peano.Inf.Functions
• Number.Peano.Inf.Test

Dependencies

• base lib:base >=0
• containers lib:containers >=0
• lazysmallcheck lib:lazysmallcheck >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything