5 lines
233 B
Text
5 lines
233 B
Text
term := Var | "\\" Var "." term @ label="abstraction" | term " " term @ label="application" | "(" term ")" @ hidden=True
|
|
simple_type := Var | simple_type "->" simple_type @ label="arrow"
|
|
|
|
assoc "application" left
|
|
assoc "arrow" right
|