add more bold
authorjim <jim@web>
Mon, 23 Mar 2015 21:35:13 +0000 (17:35 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Mon, 23 Mar 2015 21:35:13 +0000 (17:35 -0400)
exercises/assignment7.mdwn

index cb7c218..2391f70 100644 (file)
@@ -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>