X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=assignment1.mdwn;h=1c5dc9811536796dc52ebade7c949289ef5ebe89;hb=dff7245eca1a2a6837ba6f9cfeb960f3a5f62125;hp=9c7eaf552677f56c997890a4c2a29b8ea5340a0f;hpb=aa7244316365eb60642e4ab70bee7cfcc427593b;p=lambda.git

diff --git a/assignment1.mdwn b/assignment1.mdwn
index 9c7eaf55..1c5dc981 100644
--- a/assignment1.mdwn
+++ b/assignment1.mdwn
@@ -1,8 +1,7 @@
 Reduction
 ---------
 
-Find "normal forms" for the following (that is, reduce them as far as it's possible to reduce 
-them):
+Find "normal forms" for the following (that is, reduce them until no more reductions are possible):
 
     1. (\x \y. y x) z
     2. (\x (x x)) z