From: Jim <jim.pryor@nyu.edu>
Date: Fri, 20 Mar 2015 23:36:51 +0000 (-0400)
Subject: update homework
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=8759c7a477a01c026739a584f7f009f3a25fb54d;hp=45bfd0c44c531bd94e00b5a11285691c48062157

update homework
---

diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index ea387b93..bd614b38 100644
--- a/exercises/assignment7.mdwn
+++ b/exercises/assignment7.mdwn
@@ -42,8 +42,13 @@ Instead, we're going to give you almost the complete program, with a few gaps
 in it that you have to complete. You have to understand enough to
 add the last pieces to make the program function.
 
-We're still writing up the (substantial) exposition of this, and will post a link
-to it here soon.
+You can find the skeleton code [[here|/code/untyped_evaluator.ml]].
+
+We've also prepared a much fuller version, that has user-friendly input
+and printing of results. We'll provide a link to that shortly. It
+will be easiest for you to understand that code if you've
+completed the gaps in the simplified skeleton linked above.
+
 
 ## Evaluation in the untyped lambda calculus: environments
 
@@ -61,8 +66,8 @@ since it amounts to evaluating terms relative to an assignment
 function. The difference between the substitute-and-repeat approach
 above, and this approach, is one huge step towards monads.
 
-We're still writing up the exposition of this, too, and will post a link
-to it here soon.
+The skeleton code for this is at the [[same link as before|/code/untyped_evaluator.ml]].
+This part of the exercise is the "V2" part of that code.
 
 
 ## Monads