X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment7.mdwn;h=8cf57f2ca87c0684dfc536ca99c2419c1e510771;hp=cd798ab078ad9b86f986a8f40d396a487b579c3b;hb=fce00a47baedac4f4b00119179c8e04e5dd708ac;hpb=ef351afc1578508e294f73be1c2f2445463d6383

diff --git a/exercises/_assignment7.mdwn b/exercises/_assignment7.mdwn
index cd798ab0..8cf57f2c 100644
--- a/exercises/_assignment7.mdwn
+++ b/exercises/_assignment7.mdwn
@@ -23,3 +23,9 @@ notes, prove that the evaluator does reduce expressions inside of
 does not perform reductions in those positions.
 
 <!-- just add early no-op cases for Ka and Sab -->
+
+3. Converting to lambdas.  Using the type definitions you developed in
+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.
+