typo

[lambda.git] / topics / _week2_lambda_calculus_intro.mdwn

diff --git a/topics/_week2_lambda_calculus_intro.mdwn b/topics/_week2_lambda_calculus_intro.mdwn
index 68beb1c..abd2b5c 100644 (file)
--- a/topics/_week2_lambda_calculus_intro.mdwn
+++ b/topics/_week2_lambda_calculus_intro.mdwn
@@ -43,8 +43,9 @@ grammar:
 
     T --> ( T T )
     T --> ( lambda Var T)
-    T --> x
-    T --> y
+    Var --> x
+    Var --> y
+    Var --> z
     ...
 
 Very, very simple.