From eb2a14f6c7111e6c308b72dd0e8567e4296fcfe0 Mon Sep 17 00:00:00 2001
From: Jim Pryor
Date: Thu, 23 Sep 2010 04:51:53 -0400
Subject: [PATCH] lambda eval: constants now seem OK
Signed-off-by: Jim Pryor
---
lambda_evaluator.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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.)
--
2.11.0