projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
e04dfd3
)
typos
author
jim
<jim@web>
Mon, 23 Feb 2015 19:27:19 +0000
(14:27 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 23 Feb 2015 19:27:19 +0000
(14:27 -0500)
exercises/assignment3_answers.mdwn
patch
|
blob
|
history
diff --git
a/exercises/assignment3_answers.mdwn
b/exercises/assignment3_answers.mdwn
index
ea0256d
..
781649c
100644
(file)
--- a/
exercises/assignment3_answers.mdwn
+++ b/
exercises/assignment3_answers.mdwn
@@
-312,8
+312,8
@@
Reduce to beta-normal forms:
<OL start=30>
<LI><code>(\x. x (\y. y x)) (v w) ~~> v w (\y. y (v w))</code>
<LI><code>(\x. x (\x. y x)) (v w) ~~> v w (\x. y x)</code>
<OL start=30>
<LI><code>(\x. x (\y. y x)) (v w) ~~> v w (\y. y (v w))</code>
<LI><code>(\x. x (\x. y x)) (v w) ~~> v w (\x. y x)</code>
-<LI><code>(\x. x (\y. y x)) (v x) ~~> v
w
(\y. y (v x))</code>
-<LI><code>(\x. x (\y. y x)) (v y) ~~> v
w
(\u. u (v y))</code>
+<LI><code>(\x. x (\y. y x)) (v x) ~~> v
x
(\y. y (v x))</code>
+<LI><code>(\x. x (\y. y x)) (v y) ~~> v
y
(\u. u (v y))</code>
<LI><code>(\x y. x y y) u v ~~> u v v</code>
<LI><code>(\x y. y x) (u v) z w ~~> z (u v) w</code>
<LI><code>(\x y. x y y) u v ~~> u v v</code>
<LI><code>(\x y. y x) (u v) z w ~~> z (u v) w</code>