peano-inf-0.6: Lazy Peano numbers including observable infinity value.
Number.Peano.Inf.Test
test :: IO ()Source