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