| Safe Haskell | Safe |
|---|
Stlc.Gentzen
- gentzendiagram :: Exp -> Maybe (ProofTree String String)
- showProofTree :: ProofTree String String -> String
Documentation
gentzendiagram :: Exp -> Maybe (ProofTree String String) Source #
Gets a type derivation diagram of the term. It fails if the term is non-typeable.
showProofTree :: ProofTree String String -> String Source #
Draws a complete derivation tree