projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
provide simplified untyped_evaluator (complete version)
[lambda.git]
/
code
/
ski_evaluator.ml
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'
| 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'
else t'