8 lines
175 B
Text
8 lines
175 B
Text
start: term
|
|
abstraction: "\\" VARIABLE "." term
|
|
application: term " " term
|
|
term: abstraction | application | VARIABLE | "(" term ")"
|
|
|
|
VARIABLE: LETTER+
|
|
|
|
%import common.LETTER
|