Here, we attempt to describe the our language. This should help with any parsing issues that might occur.

• Variables aka varname are single letter name that represent unknown variables.
• Constant functions aka constname are multi letter names that can take any number of arguments.
• Compositions are essentially application of functions.
• Laws typed on the left are delimited by ;. Whitespace is largely irrelevant.

<expr> ::= <varname> | <expr> <COMPOSE> <expr> | <constname> <optional exprs>
<equation> ::= <expr> = <expr>
<law> ::= <string>: <equation>