From: jim <jim@web>
Date: Mon, 23 Mar 2015 21:35:13 +0000 (-0400)
Subject: add more bold
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4c0962acdef7c5443f8dda43e9d7fd0d193fe2f6

add more bold
---

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
 
 <pre>
 (\y. y <b>x<sub>1</sub></b>) x<sub>1</sub>                    [x->I, ...]<sub>1</sub> [x->0]<sub>2</sub>
-y x<sub>1</sub>                             [y->I, x->I, ...]<sub>1</sub> [x->0]<sub>2</sub>
+y <b>x<sub>1</sub></b>                             [y->I, x->I, ...]<sub>1</sub> [x->0]<sub>2</sub>
 I I
 I
 </pre>
@@ -183,7 +183,7 @@ using the value that `x` is bound to in context<sub>1</sub>, _where the `f` valu
 
 <pre>
 (\y. y <b>x<sub>2</sub></b>) x<sub>1</sub>                    [x->I, ...]<sub>1</sub> [x->0]<sub>2</sub>
-y x<sub>2</sub>                             [y->I, x->I, ...]<sub>1</sub> [x->0]<sub>2</sub>
+y <b>x<sub>2</sub></b>                             [y->I, x->I, ...]<sub>1</sub> [x->0]<sub>2</sub>
 I 0
 0
 </pre>