(no commit message)
[lambda.git] / week2.mdwn
index 2612dd2..e6771bf 100644 (file)
@@ -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.
 
 
 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)
 
 
     [\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)