(no commit message)

[lambda.git] / topics / _week7_eval_cl.mdwn

diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn
index 12ac7cf..2df607f 100644 (file)
--- 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