projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[lambda.git]
/
code
/
arith1.ml
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 ( * ))),