exercises

[lambda.git] / reduction_with_substitution.ml

diff --git a/code/reduction.ml b/reduction_with_substitution.ml
similarity index 99%
rename from code/reduction.ml
rename to reduction_with_substitution.ml
index 188a90b..93755b3 100644 (file)
--- a/code/reduction.ml
+++ b/reduction_with_substitution.ml
@@ -49,7 +49,7 @@ let rec substitute (term:lambdaTerm) (ident:identifier) (replacement:lambdaTerm)
     | Abstract(bound_ident, body) when not (free_in bound_ident replacement) ->
         (* can substitute without renaming bound_ident *)
         let body' = substitute body ident replacement
-        in Abstract(bound_ident, body')    
+        in (* COMPLETE THIS LINE *)
     | Abstract(bound_ident, body) ->
         (* find a fresh variable unused in either body or replacement (which we hack by specifying their App) *)
         let bound_ident' = fresh_var bound_ident (App(body,replacement))