From abc0baa2ed12fe5c63518c42541591c878b65660 Mon Sep 17 00:00:00 2001
From: chris
Date: Thu, 19 Feb 2015 09:18:57 0500
Subject: [PATCH]

exercises/_assignment4.mdwn  24 ++++++++++++
1 file changed, 12 insertions(+), 12 deletions()
diff git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn
index 212a6d05..7df06052 100644
 a/exercises/_assignment4.mdwn
+++ b/exercises/_assignment4.mdwn
@@ 29,18 +29,18 @@ The factorial `n! = n * (n  1) * (n  2) * ... * 3 * 2 * 1`.
For instance, `fac 0 ~~> 1`, `fac 1 ~~> 1`, `fac 2 ~~> 2`, `fac 3 ~~>
6`, and `fac 4 ~~> 24`.
 let true = \then else. then in
 let false = \then else. else in
 let iszero = \n. n (\x. false) true in
 let pred = \n f z. n (\u v. v (u f)) (K z) I in
 let succ = \n f z. f (n f z) in
 let add = \n m .n succ m in
 let mult = \n m.n(add m)0 in
 let Y = \h . (\f . h (f f)) (\f . h (f f)) in

 let fac = ... in

 fac 4
+ let true = \then else. then in
+ let false = \then else. else in
+ let iszero = \n. n (\x. false) true in
+ let pred = \n f z. n (\u v. v (u f)) (K z) I in
+ let succ = \n f z. f (n f z) in
+ let add = \n m .n succ m in
+ let mult = \n m.n(add m)0 in
+ let Y = \h . (\f . h (f f)) (\f . h (f f)) in
+
+ let fac = ... in
+
+ fac 4
## Arithmetic infinity? ##

2.11.0