Formula.Parser

This library parses formulas.

Parsers

parse : String -> Result (List DeadEnd) Formula

Parse string to Formula

parseSigned : String -> Result (List DeadEnd) (Signed Formula)

Parse string to Signed Formula

parseTerm : String -> Result (List DeadEnd) Term

Parses string to Term

parseSubstitution : String -> Result (List DeadEnd) Substitution

Parse string to Substitution