From: Jim Pryor <profjim@jimpryor.net>
Date: Tue, 14 Sep 2010 02:35:17 +0000 (-0400)
Subject: Merge branch 'pryor'
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=336e427a64c1956e15a722da848a906a149d42fd;hp=1848c1a9d840884193ba721c84902a146ab5eef8

Merge branch 'pryor'
---

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