From 0b30246623a65bf32b611078db138ada6872ddc1 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 19 Oct 2010 14:20:19 -0400 Subject: [PATCH 1/1] evaluator tweaks 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 aee3ad54..a137e53f 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 ∃ (though these aren't interpreted as doing anything other than binding variables) +* allow other binders such as ∀ and ∃ (though these won't be interpreted as doing anything other than binding variables) Other Lambda Evaluators/Calculutors ----------------------------------- -- 2.11.0