fixed ebnf for lambda

1 month ago · 4b97ccd71a
parent 5ec7563f2a
commit 4b97ccd71a
1 changed files with 1 additions and 2 deletions
--- a/lectures/lambda.md
+++ b/lectures/lambda.md
@ -9,8 +9,7 @@ The **Church-Turing Thesis** states that the functions defined by lambda calculu

 ## The Grammar of Lambda
 ```
-Lambda ::= Variable | Group | Abstraction | Application;
-Variable ::= <letter> 
+Lambda ::= <variable> | Group | Abstraction | Application;
 Group ::= '(' Lambda ')';
 Abstraction ::= 'λ' <variable> '.' Lambda;
 Application ::= Lambda Lambda