X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment_3_evaluator.mdwn;h=252e27f5792073500a831749556753a335b58f41;hp=d30e150fb5e9fd1f9c65581e14a104070ab1d05b;hb=78a38c6d3d7956c0fb5be8fbc9cbf307ca99a35c;hpb=5c196ebafcd1dcf0a786c2c7b5347983fef85120 diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn index d30e150f..252e27f5 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)