From bd86f6e7780abe4dc7b03ac23c101d3f4b2f8c1f Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 19 Oct 2010 14:15:09 -0400 Subject: [PATCH] evaluator: fix exists 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 677e5057..a3123fdc 100644 --- a/lambda_evaluator.mdwn +++ b/lambda_evaluator.mdwn @@ -126,7 +126,7 @@ Improvements we hope to add: * returning results in combinator form (the evaluator already accepts combinators as input) * displaying reductions one step at a time * specifying the reduction order and depth -* allow other binders such as ∀ and &exists; (though these aren't interpreted as doing anything other than binding variables) +* allow other binders such as ∀ and ∃ (though these aren't interpreted as doing anything other than binding variables) Other Lambda Evaluators/Calculutors ----------------------------------- -- 2.11.0