opentheory-primitive-1.0: Haskell primitives used by OpenTheory packages
OpenTheory.Primitive.Test
Description
OpenTheory QuickCheck interface
check :: Testable prop => String -> prop -> IO ()Source