X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Funtyped_evaluator_complete.ml;h=ed34138dc78b31e89ffa4b63db9d6cb48128fc0a;hp=308f85a017cebcb6b10125afad2bf7264469c967;hb=5f4eb9b5b83f86fbd18ecd6dd431b5ad64e7a6a7;hpb=7212dc7d99d0852cc195677af5ec51966a6d9065

diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index 308f85a0..ed34138d 100644
--- a/code/untyped_evaluator_complete.ml
+++ b/code/untyped_evaluator_complete.ml
@@ -15,10 +15,6 @@
       `reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
       `evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))`
 
-   The environments play absolutely no role in the simplified V1 interpreter
-   presented here. In the fuller code, they have a limited role in the V1
-   interpreter. In the V2 interpreter, the environments are essential.
-
    The two interpreters presented below are (V1) a substitute-and-replace
    interpreter, and (V2) an environment-based interpreter. We discuss the
    differences between these in the notes.
@@ -38,6 +34,10 @@
    result values. But in the fuller code from which this is simplified, it
    makes more sense, because there we also have literal number and boolean
    values as results, too.
+
+   The environments play absolutely no role in the simplified V1 interpreter
+   presented here. In the fuller code, they have a limited role in the V1
+   interpreter. In the V2 interpreter, the environments are essential.
 *)
 
 type identifier = string