Ampify notes

transaction_language_draft.bnf

Program     ::=  Statements
Statements  ::= Statement [EOL] | Statement Statements
Statement   ::= Assignment | Procedure | If | While | 'return' [Expr]
Assignment  ::= Variable '=' Expr
Variable    ::= /[A-Za-z_0-9]+/
Expr        ::= Literal | Variable | Procedure | Variable Operator Variable
Literal     ::= " String " | ' String ' | /[0-9]+/
Procedure   ::= Identifier '(' [param1 param2 ... paramN] ')'
Identifier  ::= 'commit' | 'rollback' | 'save'
If          ::= ‘if’ Expr ‘{‘ ( [EOL] Statements ‘}’ [ 'else' '{' [EOL] Statements '}' ]
While       ::= 'while' Expr '{' [EOL] Statements '}'
String      ::= /[A-Za-z_0-9/s]+/
Operator    ::= '+' | '-' | '/' | '*' | '>' | '<' | '>=' | '<=' | '=='