XGitUrl: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda_evaluator.mdwn;h=4a5b9dc0ec39a17f14cf4c564148b40acc9252e5;hp=5734f8abfb8ea592896dae7ce074ca65a3b4a9ea;hb=6dffa91feff41dc4736d907bf59c3a76a3c8d50f;hpb=6c1124e2ac83d98a64f1143aaf72a6dc7dc310ee
diff git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn
index 5734f8ab..4a5b9dc0 100644
 a/lambda_evaluator.mdwn
+++ b/lambda_evaluator.mdwn
@@ 1,8 +1,4 @@
Lambda Evaluator


There is now a [lambda evaluator](http://lambda.jimpryor.net/lambdalet.html) available.
It will allow you to write lambda terms and evaluate (that is, normalize) them, and inspect the results.
+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.)
*Lambda terms*: lambda terms are written with a backslash, thus: `((\x (\y x)) z)`.
@@ 23,7 +19,7 @@ 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*: `true` and `false` are predefined to their standard values. So too are the combinators `S`, `K`, `I`, `C`, `B`, `W`, and `T`. Finally, 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`, 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.)
@@ 39,11 +35,12 @@ let and = \l r. l r false in
)
+do etareductions too




+
+
+
+