marmalade3000 grammar

<marmalade3000a> := <imperative series>

<imperative series> := 
        <expression> {<expression> ...}

<expression> :=
        <number> | <boolean> | <application> | <definition | <reference>

<digit> :=
        0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

<number> := <digit>
          | <digit><number>

<boolean> := true | false

<definition> :=
        define <name> <expression>

<reference> :=
        <name>

<binary operator> :=
        + | - | * | / | & | "||"

<application> :=
        "<" <expression> <binary operator> <expression> ">"

<alpha> :=
        a | b | c | ... | z

<name> :=
        <alpha><alpha> {<alpha> ...}