projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ceae1e4
)
update code
author
Jim
<jim.pryor@nyu.edu>
Thu, 19 Mar 2015 16:33:22 +0000
(12:33 -0400)
committer
Jim
<jim.pryor@nyu.edu>
Thu, 19 Mar 2015 16:33:22 +0000
(12:33 -0400)
code/ski_evaluator.ml
patch
|
blob
|
history
diff --git
a/code/ski_evaluator.ml
b/code/ski_evaluator.ml
index
15ee4a7
..
f0b4d16
100644
(file)
--- a/
code/ski_evaluator.ml
+++ b/
code/ski_evaluator.ml
@@
-28,5
+28,5
@@
let rec reduce_lazy (t:term):term = match t with
| App (a, b) ->
let t' = App (reduce_lazy a, b) in
if (is_redex t') then let t'' = reduce_if_redex t'
- in reduce_laz
t
t''
+ in reduce_laz
y
t''
else t'