add comments to untyped_evals again

[lambda.git] / code / untyped_evaluator_complete.ml

diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index 308f85a..ed34138 100644 (file)
--- 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