From: Chris <chris.barker@nyu.edu>
Date: Thu, 5 Feb 2015 19:10:29 +0000 (-0500)
Subject: typo
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=acee2301a30360ca5a8719f21080d813ac75f899

typo
---

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.