defined system f

[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))
                         \      \