From: Jim Pryor Date: Thu, 23 Sep 2010 06:49:12 +0000 (-0400) Subject: tweak lambda evaluator X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4cf8f3d9e4dd738618941cfce954d705496db973;ds=sidebyside tweak lambda evaluator Signed-off-by: Jim Pryor --- diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn index 6d0866c7..180757c1 100644 --- a/lambda_evaluator.mdwn +++ b/lambda_evaluator.mdwn @@ -39,10 +39,10 @@ let and = \l r. l r false in - - - - + + + +