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