X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda-let.html;h=c5e1a640a7dfa2cc9bc92545a0590d29bc93bf44;hp=5bb3ac5f1067df9da4de31725c147aadd5a4a0c2;hb=114aa68bf26aa9438660940f0b6f20796c9ac1d0;hpb=aa7deb666b6b959faf7a78a298d6c72cd55b0577 diff --git a/lambda-let.html b/lambda-let.html index 5bb3ac5f..c5e1a640 100644 --- a/lambda-let.html +++ b/lambda-let.html @@ -1,11 +1,12 @@ -Lambda tutorial - +Lambda evaluator with lets + -instance, try clicking on the "Reduce" button:
+ +Try clicking on the "Reduce" button:

You should see the + +
+ +
+ +

+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.