XGitUrl: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda_evaluator.mdwn;h=d39086fd257131bb012c1fa5f71191c387c23927;hp=3fba8fadf354258c694900734a4fd00dbc0ebdab;hb=a9fc616a72a86be53a9ce7289fa3608799b44956;hpb=9a92978d1e62e3abd8e23b5b243d04d429dfaba5
diff git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn
index 3fba8fad..d39086fd 100644
 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 humanreadable way.)
@@ 22,8 +19,9 @@ Blank lines are fine.
*Abbreviations*: In an earlier version, you couldn't use abbreviations. `\x y. y x x` had to be written `(\x (\y ((y x) x)))`. We've upgraded the parser though, so now it should be able to understand any lambda term that you can.
*Constants*: The combinators `S`, `K`, `I`, `C`, `B`, `W`, and `T` are predefined to their standard values. Also, integers will automatically be converted to Church numerals. (`0` is `\s z. z`, `1` is `\s z. s z`, and so on.)
+*Constants*: The combinators `S`, `K`, `I`, `C`, `B`, `W`, `T`, `M` (aka ω
) and `L` are predefined to their standard values. Also, integers will automatically be converted to Church numerals. (`0` is `\s z. z`, `1` is `\s z. s z`, and so on.)
+*Variables*: Variables must start with a letter and can continue with any sequence of letters, numbers, `_`, ``, or `/`. They may optionally end with `?` or `!`. When the evaluator does alphaconversion, it may change `x` into `x'` or `x''` and so on. But you should not attempt to use primed variable names yourself.