From: Chris Barker Date: Mon, 20 Sep 2010 15:40:47 +0000 (-0400) Subject: minor X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=5fe4a9a81d08d8c8fd7b2f23dd9cfd7b7ed0182c;ds=sidebyside minor --- diff --git a/lambda-let.html b/lambda-let.html index f56c2c52..8abd3501 100644 --- a/lambda-let.html +++ b/lambda-let.html @@ -1,6 +1,6 @@ -Lambda tutorial +Lambda evaluator with lets diff --git a/lambda.js b/lambda.js index 4b684f4e..c28a0c17 100644 --- a/lambda.js +++ b/lambda.js @@ -145,6 +145,7 @@ function stringToTree(input) { input = input.replace(/in/g, " ) "); input = input.replace(/\(/g, " ( "); input = input.replace(/\)/g, " ) "); + input = input.replace(/;.*\n/g," "); input = input.replace(/\^/g, " ^ "); input = input.replace(/[\\]/g, " lambda "); input = input.replace(/\u03BB/g, "lambda"); @@ -158,6 +159,7 @@ function formatTree(tree) { output = output.replace(/[ \f\n\r\t\v]+$/, ""); output = output.replace(/[ \f\n\r\t\v]+\)/g, ")"); output = output.replace(/\)([^)(])/g, ") $1"); + output = output.replace(/lambda/g, "\\"); // output = output.replace(/lambda/g, "\u03BB"); // output = output.replace(/exists/g, "\u2203"); // output = output.replace(/forall/g, "\u2200"); diff --git a/szabolcsi-reflexive.png b/szabolcsi-reflexive.png deleted file mode 100644 index 8b524086..00000000 Binary files a/szabolcsi-reflexive.png and /dev/null differ