X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=topics%2F_week2_lambda_calculus_intro.mdwn;h=abd2b5c1ca8486380e4b0e0113b2059cabe332cc;hb=acee2301a30360ca5a8719f21080d813ac75f899;hp=68beb1c77057b90ef8b9ca83105d40bc3d39cba5;hpb=e171fd1236da1479e08f7753a0802c4cd6b5efa8;p=lambda.git

diff --git a/topics/_week2_lambda_calculus_intro.mdwn b/topics/_week2_lambda_calculus_intro.mdwn
index 68beb1c7..abd2b5c1 100644
--- 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.