10 lines
211 B
EBNF
10 lines
211 B
EBNF
Expr := Identifier
|
|
| Expr Expr
|
|
| "&" Identifier "." Expr
|
|
| "(" Expr ")"
|
|
|
|
Declaration := Identifier ":=" Expr ";"
|
|
|
|
Abstraction := "&" Identifier "." Expr ";"
|
|
|
|
Application := Identifier "<|" Expr |