author jim Mon, 23 Mar 2015 21:35:13 +0000 (17:35 -0400) committer Linux User Mon, 23 Mar 2015 21:35:13 +0000 (17:35 -0400)

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>