From: Jim Date: Mon, 6 Apr 2015 14:02:26 +0000 (-0400) Subject: tweak arith1.ml X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=99c85f69ab3e3db49a2cb404c9fe4020e362856e;ds=sidebyside tweak arith1.ml --- diff --git a/code/arith1.ml b/code/arith1.ml index 2ff51f9a..b94ca12b 100644 --- a/code/arith1.ml +++ b/code/arith1.ml @@ -25,7 +25,7 @@ let rec eval (t : tree) = match t with space between it and the parentheses, like this: ( * ). *) -(* Encoding of (+ 1 ( * (/ 6 n) 4)) *) +(* Encoding of \n. (+ 1 ( * (/ 6 n) 4)) *) let t1 = Branch ((Branch ((Leaf (Op2 (map2 (+)))), (Leaf (Num (mid 1))))), (Branch ((Branch ((Leaf (Op2 (map2 ( * ))),