edits
[lambda.git] / exercises / _assignment7.mdwn
index 587a1e0..8cf57f2 100644 (file)
@@ -29,4 +29,3 @@ homework 5, rebuild the evaluator in OCaml to handle the untyped
 lambda calculus.  Making use of the occurs_free function you built,
 we'll provide a function that performs safe substitution.
 
-