peano-inf-0.6.5: Lazy Peano numbers including observable infinity value.
Number.Peano.Inf.Test
Description
You can find the properties in the source code.
test :: IO ()Source