From: Jim Date: Tue, 24 Mar 2015 00:08:00 +0000 (-0400) Subject: Merge branch 'working' X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=bef20b6d042744a46a54ca2ec4e548476ddd9311;hp=1504d2d8df44e8c8583c5244d801d866b46be06a Merge branch 'working' * working: 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