Monadoc
Search
Home
peano-inf
0.6.5-0
lib:peano-inf
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