projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1b8f11b
)
edits
author
Chris
<chris.barker@nyu.edu>
Sat, 14 Mar 2015 17:41:47 +0000
(13:41 -0400)
committer
Chris
<chris.barker@nyu.edu>
Sat, 14 Mar 2015 17:41:47 +0000
(13:41 -0400)
code/ski_evaluator.ml
patch
|
blob
|
history
diff --git
a/code/ski_evaluator.ml
b/code/ski_evaluator.ml
index
10d130e
..
5e23ff9
100644
(file)
--- a/
code/ski_evaluator.ml
+++ b/
code/ski_evaluator.ml
@@
-11,13
+11,13
@@
let reduce_one_step (t:term):term = match t with
let is_redex (t:term):bool = not (t = reduce_one_step t)
let is_redex (t:term):bool = not (t = reduce_one_step t)
-let rec reduce
_eager
(t:term):term = match t with
+let rec reduce (t:term):term = match t with
I -> I
| K -> K
| S -> S
| FA (a, b) ->
I -> I
| K -> K
| S -> S
| FA (a, b) ->
- let t' = FA (reduce
_eager a, reduce_eager
b) in
- if (is_redex t') then reduce
_eager
(reduce_one_step t')
+ let t' = FA (reduce
a, reduce
b) in
+ if (is_redex t') then reduce (reduce_one_step t')
else t'
let rec reduce_lazy (t:term):term = match t with
else t'
let rec reduce_lazy (t:term):term = match t with