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_lazt t''
+                            in reduce_lazy t''

                        else t'
                        else t'