X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda-let.html;h=c5e1a640a7dfa2cc9bc92545a0590d29bc93bf44;hp=f56c2c52211015cc3b6dc27362373bf49dd79238;hb=d63b0d0e1c52b50a383e419345a54e2bc6339a77;hpb=3a5bbeb0ce1de37b0203e7c0efc2062608a9827c diff --git a/lambda-let.html b/lambda-let.html index f56c2c52..c5e1a640 100644 --- a/lambda-let.html +++ b/lambda-let.html @@ -1,10 +1,11 @@ -Lambda tutorial - +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. +