@@ -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`: