From c0551f471b3bf05e5ce76e7cd0221b62eeca8b99 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 13 Sep 2010 10:23:12 -0400 Subject: [PATCH] fixed ambiguity in explanation of 'normal form' Signed-off-by: Jim Pryor --- assignment1.mdwn | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.11.0