projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[lambda.git]
/
topics
/
_week3_eval_order.mdwn
diff --git
a/topics/_week3_eval_order.mdwn
b/topics/_week3_eval_order.mdwn
index
d95ced8
..
26a4b04
100644
(file)
--- a/
topics/_week3_eval_order.mdwn
+++ b/
topics/_week3_eval_order.mdwn
@@
-1,4
+1,3
@@
-
Evaluation Strategies and Normalization
=======================================
Evaluation Strategies and Normalization
=======================================
@@
-233,8
+232,6
@@
decidability and termination, but for efficiency. (Later in the
course, it will have implications for the order in which side effects
occur.)
course, it will have implications for the order in which side effects
occur.)
-First, efficiency:
-
<pre>
((\x.w)((\y.y) z))
\ \
<pre>
((\x.w)((\y.y) z))
\ \