X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment7.mdwn;h=8cf57f2ca87c0684dfc536ca99c2419c1e510771;hp=587a1e0fb877326f01605281abaa4363ed029de6;hb=fce00a47baedac4f4b00119179c8e04e5dd708ac;hpb=989c693106c8f908cb358a8ffe582bd70727e27a diff --git a/exercises/_assignment7.mdwn b/exercises/_assignment7.mdwn index 587a1e0f..8cf57f2c 100644 --- a/exercises/_assignment7.mdwn +++ b/exercises/_assignment7.mdwn @@ -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. -