edits

diff --git a/code/parse.js b/code/parse.js
index 8db784d..9034e46 100644 (file)
--- a/code/parse.js
+++ b/code/parse.js
@@ -234,10 +234,10 @@ var make_parse = function () {
             } else {
                 t.first = [];
                 while (token.arity === "name" || token.id === "\\" || token.id === "lambda") {
             } else {
                 t.first = [];
                 while (token.arity === "name" || token.id === "\\" || token.id === "lambda") {

-                    if (not (token.id === "\\" || token.id === "lambda") {
+                   ;                    if (not (token.id === "\\" || token.id === "lambda") {

                       t.first.push(n);
                       n = token;
                       t.first.push(n);
                       n = token;

-                       }
+                     ;                 }

                     advance();
                 }
                                if (token.arity === "literal" && t.first.length === 0) {
                     advance();
                 }
                                if (token.arity === "literal" && t.first.length === 0) {