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=d63b0d0e1c52b50a383e419345a54e2bc6339a77;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 @@
+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. +