tweak lambda evaluator

[lambda.git] / code / parse.js

diff --git a/code/parse.js b/code/parse.js
index d9f76ec..2e0745b 100644 (file)
--- a/code/parse.js
+++ b/code/parse.js
@@ -127,7 +127,6 @@ var make_parse = function () {
     };
 
 
-
     var itself = function () {
         return this;
     };
@@ -163,7 +162,6 @@ var make_parse = function () {
                function make_lam3(a, b, c, aa) {
                        return make_lam(a, make_lam(b, make_lam(c, aa)));
                }
-               }
                function make_app3(aa, bb, cc) {
                        return make_app(make_app(aa, bb), cc);
                }
@@ -180,13 +178,13 @@ var make_parse = function () {
                var_table = { u: u, v: v, x: x, s: s, z: z};
                name_table = {u: uu, v: vv, x: xx, s: ss, z: zz};
 
-               constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))) );
-               constant("K", make_lam2(u, v, uu) );
-               constant("I", make_lam(x, xx) );
-               constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))) );
-               constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)) );
-               constant("W", make_lam2(u, v, make_app3(uu, vv, vv)) );
-               constant("T", make_lam2(u, v, make_app(vv, uu)) );
+               constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))));
+               constant("K", make_lam2(u, v, uu));
+               constant("I", make_lam(x, xx));
+               constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
+               constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));
+               constant("W", make_lam2(u, v, make_app3(uu, vv, vv)));
+               constant("T", make_lam2(u, v, make_app(vv, uu)));
        }
        make_constants();