From acee2301a30360ca5a8719f21080d813ac75f899 Mon Sep 17 00:00:00 2001 From: Chris Date: Thu, 5 Feb 2015 14:10:29 -0500 Subject: [PATCH 1/1] typo --- topics/_week2_lambda_calculus_intro.mdwn | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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. -- 2.11.0