From 29de81dde7a45df279dd9c2cc7b8efd44fb3ee8d Mon Sep 17 00:00:00 2001 From: barker Date: Mon, 13 Sep 2010 09:21:59 -0400 Subject: [PATCH] --- assignment1.mdwn | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/assignment1.mdwn b/assignment1.mdwn index e6fe829a..430f3c84 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