From 4cf8f3d9e4dd738618941cfce954d705496db973 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 23 Sep 2010 02:49:12 -0400 Subject: [PATCH] tweak lambda evaluator Signed-off-by: Jim Pryor --- lambda_evaluator.mdwn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 - - - - + + + +