X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda_evaluator.mdwn;h=d46fc78577d3884c031e3f8446185283ddb3568a;hp=87797dfb037d1764a4c40079010ffa73922bd219;hb=eb2a14f6c7111e6c308b72dd0e8567e4296fcfe0;hpb=fee1f7831003a7edee103dd7999b390abc7583c8 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.)