From ad7fea353514a45be62c56bbc9f8df266db0266b Mon Sep 17 00:00:00 2001 From: Chris Date: Sat, 14 Mar 2015 13:41:47 -0400 Subject: [PATCH] edits --- code/ski_evaluator.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml index 10d130e0..5e23ff9a 100644 --- 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 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) -> - 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 -- 2.11.0