typo
authorChris <chris.barker@nyu.edu>
Thu, 5 Feb 2015 19:10:29 +0000 (14:10 -0500)
committerChris <chris.barker@nyu.edu>
Thu, 5 Feb 2015 19:10:29 +0000 (14:10 -0500)
topics/_week2_lambda_calculus_intro.mdwn

index 68beb1c..abd2b5c 100644 (file)
@@ -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.