From: Jim Pryor Date: Mon, 4 Oct 2010 01:12:36 +0000 (-0400) Subject: Merge branch 'pryor' X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=93875f124b3af0b7e114373588fa110d79f9abc0;hp=950285ea353793fdd9ddcfa7e6e54b4c1f73601c Merge branch 'pryor' --- diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn index 28693f43..f4f5fb92 100644 --- a/assignment_3_evaluator.mdwn +++ b/assignment_3_evaluator.mdwn @@ -42,22 +42,22 @@ let makeList = make\_list in let isZero = iszero in let mult = mul in ; -let t1 = (make_list 1 empty) in -let t2 = (make_list 2 empty) in -let t3 = (make_list 3 empty) in -let t12 = (make_list t1 (make_list t2 empty)) in -let t23 = (make_list t2 (make_list t3 empty)) in -let ta = (make_list t1 t23) in -let tb = (make_list t12 t3) in -let tc = (make_list t1 (make_list t23 empty)) in +let t1 = (make\_list 1 empty) in +let t2 = (make\_list 2 empty) in +let t3 = (make\_list 3 empty) in +let t12 = (make\_list t1 (make\_list t2 empty)) in +let t23 = (make\_list t2 (make\_list t3 empty)) in +let ta = (make\_list t1 t23) in +let tb = (make\_list t12 t3) in +let tc = (make\_list t1 (make\_list t23 empty)) in ; -;sum-leaves t1 ~~> 1 -;sum-leaves t2 ~~> 2 -;sum-leaves t3 ~~> 3 -;sum-leaves t12 ~~> 3 -;sum-leaves t23 ~~> 5 -;sum-leaves ta ~~> 6 -;sum-leaves tb ~~> 6 +;sum-leaves t1 ; ~~> 1 +;sum-leaves t2 ; ~~> 2 +;sum-leaves t3 ; ~~> 3 +;sum-leaves t12 ; ~~> 3 +;sum-leaves t23 ; ~~> 5 +;sum-leaves ta ; ~~> 6 +;sum-leaves tb ; ~~> 6 ; length (tail mylist)