projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9789c1a
)
(no commit message)
author
chris
<chris@web>
Sat, 14 Mar 2015 17:26:42 +0000
(13:26 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 14 Mar 2015 17:26:42 +0000
(13:26 -0400)
topics/_week7_eval_cl.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week7_eval_cl.mdwn
b/topics/_week7_eval_cl.mdwn
index
793e10e
..
4d1b3e7
100644
(file)
--- a/
topics/_week7_eval_cl.mdwn
+++ b/
topics/_week7_eval_cl.mdwn
@@
-23,8
+23,7
@@
danger of entering an infinite loop.
Thanks to the introduction of sum types (disjoint union) in the last lecture, we
are now in a position to gain a deeper understanding of evaluation
Thanks to the introduction of sum types (disjoint union) in the last lecture, we
are now in a position to gain a deeper understanding of evaluation
-order by reasoning explicitly about evaluation by writing a program
-that evaluates terms.
+order by writing a program that allows us to reasoning explicitly about evaluation.
One thing we'll see is that it is all too easy for the evaluation
order properties of an evaluator to depend on the evaluation order
One thing we'll see is that it is all too easy for the evaluation
order properties of an evaluator to depend on the evaluation order