X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week7_eval_cl.mdwn;h=933943a10ff9b366f36976f67d36b4e2f1cdeffe;hp=65b0200b0d0eca2c43f7cafa910bdc8f71b79dcf;hb=2fddc8ecfa6dda41e952a17e83caa8f14185ba8a;hpb=0dad5bcbae12247dd5436d5843633247762bb772

diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn
index 65b0200b..933943a1 100644
--- a/topics/_week7_eval_cl.mdwn
+++ b/topics/_week7_eval_cl.mdwn
@@ -15,9 +15,9 @@ recall that
     ((\x.I)Ω) == ((\x.I)((\x.xx)(\x.xx)))
                    *      *
 
-There are two redexes in this term; we've marked the operative lambda
+There are two redexes in this term; we've marked the operative lambdas
 with a star.  If we reduce the leftmost redex first, the term reduces
-to the normal form `I` in one step.  But if we reduce the left most
+to the normal form `I` in one step.  But if we reduce the rightmost
 redex instead, the "reduced" form is `(\x.I)Ω` again, and we are in
 danger of entering an infinite loop.