opentheory-primitive-1.1: Haskell primitives used by OpenTheory packages

Portabilityportable
Stabilityprovisional
MaintainerJoe Hurd <joe@gilith.com>
Safe HaskellSafe-Infered

OpenTheory.Primitive.Test

Description

 

Documentation

check :: Testable prop => String -> prop -> IO ()Source