From 9f05abffbfea36163962acfb1471ab0b6c45b036 Mon Sep 17 00:00:00 2001
From: chris <chris@web>
Date: Sat, 14 Mar 2015 13:24:37 -0400
Subject: [PATCH]

---
 topics/_week7_eval_cl.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn
index 65b0200b..85dbef53 100644
--- a/topics/_week7_eval_cl.mdwn
+++ b/topics/_week7_eval_cl.mdwn
@@ -15,7 +15,7 @@ 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
 redex instead, the "reduced" form is `(\x.I)Ω` again, and we are in
-- 
2.11.0