From c9f0198dac937d93c73815bc1149921718af88c7 Mon Sep 17 00:00:00 2001 From: barker Date: Sun, 19 Sep 2010 11:50:35 -0400 Subject: [PATCH] --- week2.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.11.0