X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week3_eval_order.mdwn;h=26a4b04d42486d894c17cac4d51a95de038c3e27;hp=d95ced84136671266e950c33ab5cd91de867837c;hb=a4d2693effe839524592f4427465ff8d97625302;hpb=fc150a2f51d274a867cc72acfb1eb8c6b61c6d0a

diff --git a/topics/_week3_eval_order.mdwn b/topics/_week3_eval_order.mdwn
index d95ced84..26a4b04d 100644
--- 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))
                         \      \