This library parses formulas.
parse : String -> Result (List Parser.DeadEnd) Formula
Parse string to Formula
parseSigned : String -> Result (List Parser.DeadEnd) (Formula.Signed.Signed Formula)
Parse string to Signed Formula
parseTerm : String -> Result (List Parser.DeadEnd) Term
Parses string to Term
parseSubstitution : String -> Result (List Parser.DeadEnd) Term.Substitution
Parse string to Substitution