Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
forall r . Prover | |
|
type Proof a = ProofScheme a () Source
data ProofScheme a b where Source
Proof :: Writer [Action] b -> ProofScheme a b |
Monad (ProofScheme a) Source | |
Functor (ProofScheme a) Source | |
Applicative (ProofScheme a) Source |
data Existential Source