<html>
<head>
-<title>Lambda tutorial</title>
+<title>Lambda evaluator with lets</title>
<script language=JavaScript src="lambda.js"></script>
</head>
<body>
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");
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");