From a13c98f96217650e2404b044ea2d380a0dbc8bb9 Mon Sep 17 00:00:00 2001 From: Jim Date: Mon, 23 Mar 2015 20:07:49 -0400 Subject: [PATCH] tweak untyped_evaluators, add symlink --- code/untyped_evaluator.ml | 4 ++-- code/untyped_evaluator_complete.ml | 4 ++-- code/untyped_full.tgz | 1 + 3 files changed, 5 insertions(+), 4 deletions(-) create mode 120000 code/untyped_full.tgz diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml index 50092fb2..6ebc7b6b 100644 --- a/code/untyped_evaluator.ml +++ b/code/untyped_evaluator.ml @@ -1,5 +1,5 @@ (* - This is a simplified version of the code at ... + This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full.tgz You can use this code as follows: 1. First, use a text editor to fill in the (* COMPLETE THIS *) portions. @@ -15,7 +15,7 @@ `reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` `evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` - The two interpreters presented below are (VersionA) a substitute-and-replace + The two interpreters presented below are (VersionA) a substitute-and-repeat interpreter, and (VersionB) an environment-based interpreter. We discuss the differences between these in the course notes. diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml index 51efce91..c3cafc35 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 ... + This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full.tgz You can use this code as follows: 1. First, use a text editor to fill in the (* COMPLETE THIS *) portions. @@ -15,7 +15,7 @@ `reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` `evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` - The two interpreters presented below are (VersionA) a substitute-and-replace + The two interpreters presented below are (VersionA) a substitute-and-repeat interpreter, and (VersionB) an environment-based interpreter. We discuss the differences between these in the course notes. diff --git a/code/untyped_full.tgz b/code/untyped_full.tgz new file mode 120000 index 00000000..f3e72809 --- /dev/null +++ b/code/untyped_full.tgz @@ -0,0 +1 @@ +untyped_full-1.3.tgz \ No newline at end of file -- 2.11.0