X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week7_eval_cl.mdwn;h=2df607f52cace26918c89c0ff6e180f073662e52;hp=12ac7cf7694c09d553dc228641de58408c69f187;hb=989c693106c8f908cb358a8ffe582bd70727e27a;hpb=ef351afc1578508e294f73be1c2f2445463d6383

diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn
index 12ac7cf7..2df607f5 100644
--- a/topics/_week7_eval_cl.mdwn
+++ b/topics/_week7_eval_cl.mdwn
@@ -39,7 +39,7 @@ expressions, `S`, `K`, and `I`, governed by the following reduction
 rules:
 
     Ia ~~> a
-    Kab ~~> b
+    Kab ~~> a
     Sabc ~~> ac(bc)
 
 where `a`, `b`, and `c` stand for an arbitrary term of CL.  We've seen