X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Farith1.ml;h=b94ca12beb9a6d648744e824c45232995b4762ee;hp=2ff51f9abe423f5f8da056610fcccdc50307a093;hb=8cd2e41084d42df6db49d6ea9e3183c709a54837;hpb=356cd0ed65c71922aecc155ddab88896c4e0629d 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 ( * ))),