From 0a3e9b7715490e9edefb87397cad3210e790053f Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 3 Oct 2010 14:35:16 -0400 Subject: [PATCH] assignment 3 evalutor preload --- assignment_3_evaluator.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn index 252e27f5..4097eb68 100644 --- a/assignment_3_evaluator.mdwn +++ b/assignment_3_evaluator.mdwn @@ -21,7 +21,7 @@ let length = Y (\length l. isNil l 0 (succ (length (tail l)))) in let pred = \n. isZero n 0 (length (tail (n (\p. makeList meh p) nil))) in let leq = \m n. isZero(n pred m) in let eq = \m n. and (leq m n)(leq n m) in -% +; length (tail mylist) -- 2.11.0