X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week10.mdwn;fp=week10.mdwn;h=1d7e3ec78f65beffe9b739b6dce2b12434b8a98f;hp=79831cb519253362a03c4533c90b7643e4e2fcbd;hb=c096178f6fdbedb2b6de4b198b05d77566588438;hpb=e32623b19bb5a3fd40ada29c912c7ecfc5784fab diff --git a/week10.mdwn b/week10.mdwn index 79831cb5..1d7e3ec7 100644 --- a/week10.mdwn +++ b/week10.mdwn @@ -1,6 +1,6 @@ [[!toc]] -In class on November 22, we just reviewed mutation and aliasing, especially in relation to the Groenendijk, Stockhof and Veltman paper. Below, we bring in more material. This takes the form of making gradual improvements to the calculator we developed in [week7](/reader_monad_for_variable_binding). Part of what we do below is a review of the mutation techniques developed in [[Week9]]; but we also do other things we haven't discussed in class, like defining new complex functions in our calculator. +In class on November 22, we just reviewed mutation and aliasing, especially in relation to the Groenendijk, Stokhof and Veltman paper. Below, we bring in more material. This takes the form of making gradual improvements to the calculator we developed in [week7](/reader_monad_for_variable_binding). Part of what we do below is a review of the mutation techniques developed in [[Week9]]; but we also do other things we haven't discussed in class, like defining new complex functions in our calculator. ##Original Calculator##