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