X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda-let.html;h=c5e1a640a7dfa2cc9bc92545a0590d29bc93bf44;hp=8abd35012d694bbc3d443776cb670f1b3e1d8355;hb=98652627403eaa920f51cedc4d0cc68c1103b972;hpb=5fe4a9a81d08d8c8fd7b2f23dd9cfd7b7ed0182c
diff --git a/lambda-let.html b/lambda-let.html
index 8abd3501..c5e1a640 100644
--- a/lambda-let.html
+++ b/lambda-let.html
@@ -1,10 +1,11 @@
Lambda evaluator with lets
-
+
+
Try clicking on the "Reduce" button:
+
+Notes: you have to fully specify parentheses and separate your lambdas. So for example, you can't write `(\x y. y)`; you have to write `(\x (\y y))`.
+
+The parser treats symbols that haven't yet been bound (as `yes` and `no` in the example above) as free variables.
+
+If you try to evaluate a non-terminating form, like `((\x (x x)) (\x (x x)))`, you'll probably have to force-quit your browser and start over. Anything you had earlier typed in the upper box will probably be lost.
+