fixed ambiguity in explanation of 'normal form'
authorJim Pryor <profjim@jimpryor.net>
Mon, 13 Sep 2010 14:23:12 +0000 (10:23 -0400)
committerJim Pryor <profjim@jimpryor.net>
Mon, 13 Sep 2010 14:23:12 +0000 (10:23 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
assignment1.mdwn

index 9c7eaf5..1c5dc98 100644 (file)
@@ -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