expr.eag

// expressions: a reduced example

Code = number 'ENTER' | Code Code 'ADD'.

Expr <+ Code2>:
    Term <Code1>
    <Code1, Code2>
        { <- Code1, + Code3>
            '+' Term <Code2> <Code1 Code2 'ADD', Code3>
        } <- Code, + Code>.

Term <+ number 'ENTER': Code>:
    number <number>.

number = '0' | '1'.

number:
    <+ '0': number> '0'
  | <+ '1': number> '1'.