From: Chris <chris.barker@nyu.edu>
Date: Thu, 19 Mar 2015 18:13:03 +0000 (-0400)
Subject: try3
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ffcfb59a82fcf644439c4766a2aaeeaa94e74daa;ds=sidebyside

try3
---

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index f0b4d166..742d63d1 100644
--- a/code/ski_evaluator.ml
+++ b/code/ski_evaluator.ml
@@ -21,12 +21,12 @@ let rec reduce_try2 (t:term):term = match t with
                             in reduce_try2 t''
                        else t'
 
-let rec reduce_lazy (t:term):term = match t with
+let rec reduce_try3 (t:term):term = match t with
   | I -> I
   | K -> K
   | S -> S
   | App (a, b) ->
-      let t' = App (reduce_lazy a, b) in
+      let t' = App (reduce_try3 a, b) in
       if (is_redex t') then let t'' = reduce_if_redex t'
-                            in reduce_lazy t''
+                            in reduce_try3 t''
                        else t'