From 4b97ccd71a6829c34118739697c4957373827e41 Mon Sep 17 00:00:00 2001
From: John Sarkela <jsarkela@modtalk.org>
Date: Thu, 4 Sep 2025 12:11:33 -0400
Subject: [PATCH] fixed ebnf for lambda

---
 lectures/lambda.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lectures/lambda.md b/lectures/lambda.md
index f77228f..f17db38 100644
--- 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