This should be a relatively simple toy example, since it only needs to contain the constant 0, the unary successor function S, and the two binary operations + and *. We do probably want to allow the parser to parse "identifiers" which aren't just alphanumerics, though.
This should be a relatively simple toy example, since it only needs to contain the constant
0, the unary successor functionS, and the two binary operations+and*. We do probably want to allow the parser to parse "identifiers" which aren't just alphanumerics, though.