X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_untyped_evaluator.mdwn;fp=topics%2Fweek7_untyped_evaluator.mdwn;h=ecf5fcb0da340d70c9f435d6835d9aac380a914a;hp=5290db020b5ee6dc5cfbde042dbfcf9c8f4509ab;hb=2c9ef483adc5ae007ea8231c614ae8b4e7bbcf92;hpb=cea9f32b68152d0a193372de67339e3beca5acea

diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn
index 5290db02..ecf5fcb0 100644
--- a/topics/week7_untyped_evaluator.mdwn
+++ b/topics/week7_untyped_evaluator.mdwn
@@ -310,7 +310,7 @@ In later weeks, we will see more examples of results that aren't terms, but can
 Getting, reading, and compiling the source code
 -----------------------------------------------
 
-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.
+You can download the source code for the intepreter [[here|/code/untyped_full-1.4.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.