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