projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add more bold
[lambda.git]
/
exercises
/
assignment7.mdwn
diff --git
a/exercises/assignment7.mdwn
b/exercises/assignment7.mdwn
index
cb7c218
..
2391f70
100644
(file)
--- 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>
<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</su
b> [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>
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>
<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</su
b> [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>
I 0
0
</pre>