From 4c0962acdef7c5443f8dda43e9d7fd0d193fe2f6 Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 23 Mar 2015 17:35:13 -0400 Subject: [PATCH 1/1] add more bold --- exercises/assignment7.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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
 
-- 2.11.0