(no commit message)

diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn
index 102848d..8a5e9c3 100644 (file)
--- a/topics/_week7_eval_cl.mdwn
+++ b/topics/_week7_eval_cl.mdwn
@@ -125,7 +125,7 @@ no redexes.
 In order to fully reduce a term, we need to be able to reduce redexes
 that are not at the top level of the term.
 
-    (II)I ~~> IK ~~> K
+    (II)K ~~> IK ~~> K
 
 That is, we want to be able to first evaluate the redex `II` that is
 a proper subpart of the larger term, to produce a new intermediate term