From: Jim <jim.pryor@nyu.edu>
Date: Wed, 25 Mar 2015 00:09:37 +0000 (-0400)
Subject: update untyped_eval to 1.7
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7496cdc3be203a28dbe1adbabb84fd63cc022cbe;hp=-c

update untyped_eval to 1.7
---

7496cdc3be203a28dbe1adbabb84fd63cc022cbe
diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index a60b2a1d..9ca2a743 100644
--- a/code/untyped_evaluator.ml
+++ b/code/untyped_evaluator.ml
@@ -1,5 +1,5 @@
 (*
-   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.5.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.7.tgz
    You can use this code as follows:
 
    1. First, use a text editor to fill in the (* COMPLETE THIS *) portions.
diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index f61f7008..4a1bc36b 100644
--- a/code/untyped_evaluator_complete.ml
+++ b/code/untyped_evaluator_complete.ml
@@ -1,5 +1,5 @@
 (*
-   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.5.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.7.tgz
    You can use this code as follows:
 
    1. First, use a text editor to fill in the (* COMPLETE THIS *) portions.
diff --git a/code/untyped_full-1.7.tgz b/code/untyped_full-1.7.tgz
new file mode 100644
index 00000000..3a6f387a
Binary files /dev/null and b/code/untyped_full-1.7.tgz differ
diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn
index f18bdc69..619c94f1 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.5.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.7.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.