projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
34bdd67
)
tweak arith1.ml
author
Jim
<jim.pryor@nyu.edu>
Mon, 6 Apr 2015 14:02:26 +0000
(10:02 -0400)
committer
Jim
<jim.pryor@nyu.edu>
Mon, 6 Apr 2015 14:02:26 +0000
(10:02 -0400)
code/arith1.ml
patch
|
blob
|
history
diff --git
a/code/arith1.ml
b/code/arith1.ml
index
2ff51f9
..
b94ca12
100644
(file)
--- 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: ( * ).
*)
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 ( * ))),
let t1 = Branch ((Branch ((Leaf (Op2 (map2 (+)))),
(Leaf (Num (mid 1))))),
(Branch ((Branch ((Leaf (Op2 (map2 ( * ))),