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

Number.Peano.Inf.Test

Description

You can find the properties in the source code.

Documentation

test :: IO ()Source