From: Jim Pryor Date: Tue, 19 Oct 2010 18:15:09 +0000 (-0400) Subject: evaluator: fix exists X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=bd86f6e7780abe4dc7b03ac23c101d3f4b2f8c1f evaluator: fix exists Signed-off-by: Jim Pryor --- 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 -----------------------------------