From: chris <chris@web>
Date: Mon, 23 Feb 2015 18:41:13 +0000 (-0500)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7936567be1fea69bb7e1bb299bd3d1616b6e2dcc

---

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