X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment3.mdwn;h=8a4efcc0d34dd9de201013699e3156f7de26cc2c;hp=289f818ae60e7652bb41f7adc4d5f2b15d3baf92;hb=29f15e8e027b34b893874598824bdbff45096c78;hpb=2950fbdc81547d95aa8fda13cc3e042ca264e0e6 diff --git a/assignment3.mdwn b/assignment3.mdwn index 289f818a..8a4efcc0 100644 --- a/assignment3.mdwn +++ b/assignment3.mdwn @@ -1,6 +1,19 @@ Assignment 3 ------------ +Erratum corrected 11PM Sun 3 Oct: the following line + + let tb = (make_list t12 (make_list t3 empty)) in + +originally read + + let tb = (make_list t12 t3) in + +This has been corrected below, and in the preloaded evaluator for +working on assignment 3, available here: [[assignment 3 evaluator]]. + +
+ Once again, the lambda evaluator will make working through this assignment much faster and more secure. @@ -117,7 +130,7 @@ Expected behavior: 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 tb = (make_list t12 (make_list t3 empty)) in let tc = (make_list t1 (make_list t23 empty)) in sum-leaves t1 ~~> 1