update untyped_eval to 1.4

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index 158b00a..40ff00b 100644 (file)
--- 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.3.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.4.tgz

    You can use this code as follows:
 
    1. First, use a text editor to fill in the (* COMPLETE THIS *) portions.
    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 89962e3..eab5139 100644 (file)
--- 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.3.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.4.tgz

    You can use this code as follows:
 
    1. First, use a text editor to fill in the (* COMPLETE THIS *) portions.
    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.4.tgz b/code/untyped_full-1.4.tgz
new file mode 100644 (file)
index 0000000..e0cfd08
Binary files /dev/null and b/code/untyped_full-1.4.tgz differ

diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn
index 5290db0..ecf5fcb 100644 (file)
--- 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
 -----------------------------------------------
 
 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.
 
 
 When you unpack the downloaded source code, you will get a folder with the following contents, sorted here by logical order rather than alphabetically.