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

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.