Documentation

opToLH :: Op -> String Source #

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

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

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