X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment7.mdwn;fp=exercises%2Fassignment7.mdwn;h=2391f70d46117b15562943666a21ab9a0fb3544d;hp=cb7c21892aa013828c2a478613454e72f37d48c9;hb=4c0962acdef7c5443f8dda43e9d7fd0d193fe2f6;hpb=c87ca62c5f1a71805f5929d0d43e04c386792328 diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn index cb7c2189..2391f70d 100644 --- a/exercises/assignment7.mdwn +++ b/exercises/assignment7.mdwn @@ -174,7 +174,7 @@ Now we have to apply the value that `f` is bound to to the value that `x` is bou
 (\y. y x1) x1                    [x->I, ...]1 [x->0]2
-y x1                             [y->I, x->I, ...]1 [x->0]2
+y x1                             [y->I, x->I, ...]1 [x->0]2
 I I
 I
 
@@ -183,7 +183,7 @@ using the value that `x` is bound to in context1, _where the `f` valu
 (\y. y x2) x1                    [x->I, ...]1 [x->0]2
-y x2                             [y->I, x->I, ...]1 [x->0]2
+y x2                             [y->I, x->I, ...]1 [x->0]2
 I 0
 0