From: Chris <chris.barker@nyu.edu>
Date: Sat, 14 Mar 2015 17:41:47 +0000 (-0400)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ad7fea353514a45be62c56bbc9f8df266db0266b;ds=sidebyside

edits
---

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