X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2F_week7_eval_cl.mdwn;fp=topics%2F_week7_eval_cl.mdwn;h=8a5e9c3656ef8c67dbbf0e79c0424c8edbed5d22;hb=7f9fd8cfdc4b0e6f1f1704aa27f48504ca0105bb;hp=102848d2481f0a23695e8efba6cf426a9e62f349;hpb=09ec7867983b953fd10c12de1d67bc350bb6c871;p=lambda.git

diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn
index 102848d2..8a5e9c36 100644
--- 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