From: barker <barker@web>
Date: Sun, 19 Sep 2010 15:50:35 +0000 (-0400)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=c9f0198dac937d93c73815bc1149921718af88c7;hp=-c;p=lambda.git

---

c9f0198dac937d93c73815bc1149921718af88c7
diff --git a/week2.mdwn b/week2.mdwn
index 2612dd2b..e6771bfe 100644
--- a/week2.mdwn
+++ b/week2.mdwn
@@ -148,7 +148,7 @@ Let's check that the translation of the false boolean behaves as expected by fee
 
 Throws away the first argument, returns the second argument---yep, it works.
 
-Here's a more elaborat example of the translation.  The goal is to establish that combinators can reverse order, so we use the T combinator, where `T = \x\y.yx`:
+Here's a more elaborate example of the translation.  The goal is to establish that combinators can reverse order, so we use the T combinator, where `T = \x\y.yx`:
 
     [\x\y.yx] = [\x[\y.yx]] = [\x.S[\y.y][\y.x]] = [\x.(SI)(Kx)] = S[\x.SI][\x.Kx] = S(K(SI))(S[\x.K][\x.x]) = S(K(SI))(S(KK)I)