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