X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_untyped_evaluator.mdwn;h=760068bc055c4e2497082d697b22e0de506dfa58;hp=3fa5daee2d0d90707b2bf19a711eb2916ffcdc83;hb=d552ecac62f2a31edd0e6f859eea7cc8fe56db18;hpb=12731fbd2ab9f1bfb047c86a7fb5b908702e42fc

diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn
index 3fa5daee..760068bc 100644
--- a/topics/week7_untyped_evaluator.mdwn
+++ b/topics/week7_untyped_evaluator.mdwn
@@ -1,5 +1,7 @@
-A program that interprets untyped lambda terms (and more)
-=========================================================
+[[!toc levels=2]]
+
+Datatypes and complications
+---------------------------
 
 Let's start with an OCaml datatype for untyped lambda terms:
 
@@ -306,7 +308,7 @@ Now `Closure`s are not a new kind of lambda _term_: the syntax for our language
 Getting, reading, and compiling the source code
 -----------------------------------------------
 
-You can download the source code for the intepreter [[here|/code/untyped_full.tgz]]. That link will always give you the latest version. We will update it as we find any issues. Let us know about any difficulties you experience.
+You can download the source code for the intepreter [[here|/code/untyped_full-1.3.tgz]]. That link will always give you the latest version. We will update it as we find any issues. Let us know about any difficulties you experience.
 
 When you unpack the downloaded source code, you will get a folder with the following contents, sorted here by logical order rather than alphabetically.