X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Funtyped_evaluator.ml;fp=code%2Funtyped_evaluator.ml;h=3fe3ac62cdd3c3a48455b627a17a7900fcf34f45;hp=e5ce1c12f81fb6ad1b1d93f085d15f4e71a78462;hb=5f4eb9b5b83f86fbd18ecd6dd431b5ad64e7a6a7;hpb=7212dc7d99d0852cc195677af5ec51966a6d9065

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index e5ce1c12..3fe3ac62 100644
--- a/code/untyped_evaluator.ml
+++ b/code/untyped_evaluator.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