rest-rewrite-0.4.4: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.ProofGen

Documentation

opToLH :: Op -> String Source #

withParens :: Bool -> String -> String Source #

toLH :: Bool -> RuntimeTerm -> String Source #

toProof :: Path Rewrite RuntimeTerm a -> String Source #