From 7936567be1fea69bb7e1bb299bd3d1616b6e2dcc Mon Sep 17 00:00:00 2001
From: chris <chris@web>
Date: Mon, 23 Feb 2015 13:41:13 -0500
Subject: [PATCH]

---
 topics/_week3_eval_order.mdwn | 3 ---
 1 file changed, 3 deletions(-)

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