From 1e997f71620b8c4a5d5ca6ee9df1d616ff74fae6 Mon Sep 17 00:00:00 2001 From: barker Date: Mon, 13 Sep 2010 09:21:17 -0400 Subject: [PATCH] --- assignment1.mdwn | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/assignment1.mdwn b/assignment1.mdwn index 4980cc27..e6fe829a 100644 --- a/assignment1.mdwn +++ b/assignment1.mdwn @@ -3,13 +3,13 @@ Find "normal forms" for the following (that is, reduce them as far as it's possible to reduce them): -1. (\x \y. y x) z -2. (\x (x x)) z -3. (\x (\x x)) z -4. (\x (\z x)) z -5. (\x (x (\y y))) (\z (z z)) -6. (\x (x x)) (\x (x x)) -7. (\x (x x x)) (\x (x x x)) + 1. (\x \y. y x) z + 2. (\x (x x)) z + 3. (\x (\x x)) z + 4. (\x (\z x)) z + 5. (\x (x (\y y))) (\z (z z)) + 6. (\x (x x)) (\x (x x)) + 7. (\x (x x x)) (\x (x x x)) *Booleans* -- 2.11.0