added temps

[lambda.git] / lambda_evaluator.mdwn

diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn
index c0697ab..37908ab 100644 (file)
--- a/lambda_evaluator.mdwn
+++ b/lambda_evaluator.mdwn
@@ -1,6 +1,3 @@
-Lambda Evaluator
-----------------
-
 This lambda evaluator will allow you to write lambda terms and evaluate (that is, normalize) them, and inspect the results.
 (This won't work in Racket, because Racket doesn't even try to represent the internal structure of a function in a human-readable way.)  
 
@@ -87,8 +84,8 @@ Object.prototype.error = function (message, t) {
             // string = JSON.stringify(expr, ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'tag', 'variable', 'left', 'right', 'bound', 'body' ], 4);
 //                     string = expr.to_string() + "\n\n~~>\n\n";
                        string = '';
-                       eta = document.getElementById('ETA').value === "on";
-                       string = "("+eta+")"+string + reduce(expr, eta, false).to_string();
+                       eta = document.getElementById('ETA').checked;
+                       string = string + reduce(expr, eta, 2).to_string();
         } catch (e) {
             string = JSON.stringify(e, ['name', 'message', 'from', 'to', 'key',
                     'value', 'arity', 'first', 'second', 'third', 'fourth'], 4);