From: Jim Pryor Date: Thu, 23 Sep 2010 08:51:53 +0000 (-0400) Subject: lambda eval: constants now seem OK X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=eb2a14f6c7111e6c308b72dd0e8567e4296fcfe0 lambda eval: constants now seem OK Signed-off-by: Jim Pryor --- diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn index 87797dfb..d46fc785 100644 --- a/lambda_evaluator.mdwn +++ b/lambda_evaluator.mdwn @@ -22,7 +22,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*: (NOT YET IMPLEMENTED!) The combinators `S`, `K`, `I`, `C`, `B`, `W`, and `T` are pre-defined 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`, and `T` are pre-defined 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.)