11 lines
250 B
EBNF
11 lines
250 B
EBNF
top-level ::= ident ':' expr
|
|
| ident '=' expr
|
|
| '--' text
|
|
|
|
expr ::= ('\' | 'λ') ident ':' expr '.' expr
|
|
| expr expr
|
|
| '(' ident ':' expr ')' '->' expr
|
|
| '(' expr ')' '->' expr
|
|
| '*'
|
|
| ident
|