Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
verifyWith :: Checkable a => [Option] -> a -> IO ProofResult Source #
data ProofResult Source #
checkVerifyDir :: IO () Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
verifyWith :: Checkable a => [Option] -> a -> IO ProofResult Source #
data ProofResult Source #
checkVerifyDir :: IO () Source #