From: Jim Date: Tue, 24 Mar 2015 00:07:49 +0000 (-0400) Subject: tweak untyped_evaluators, add symlink X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a13c98f96217650e2404b044ea2d380a0dbc8bb9;ds=sidebyside tweak untyped_evaluators, add symlink --- 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