X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=assignment_3_evaluator.mdwn;h=4097eb689ed2b59e3c7034b94122029b01d857c5;hb=2e3cc2132ec184fe51ee24f9cfed97f3de4efd1a;hp=d30e150fb5e9fd1f9c65581e14a104070ab1d05b;hpb=0a6cb8dd4a9460b13006f75f6a5b84d434aba212;p=lambda.git

diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn
index d30e150f..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)
 </textarea>
 <input id="PARSE" value="Normalize" type="button">