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
 =======================================
 
@@ -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.)
 
-First, efficiency:
-
 <pre>
                       ((\x.w)((\y.y) z))
                         \      \