projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c9938f8
)
(no commit message)
author
chris
<chris@web>
Mon, 23 Feb 2015 18:41:13 +0000
(13:41 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 23 Feb 2015 18:41:13 +0000
(13:41 -0500)
topics/_week3_eval_order.mdwn
patch
|
blob
|
history
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))
\ \