From 370ae3831c0dfc272e6693458a310fd085d6ba77 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 23 Sep 2010 06:15:24 -0400 Subject: [PATCH] tweak lambda evaluator Signed-off-by: Jim Pryor --- lambda_evaluator.mdwn | 3 --- 1 file changed, 3 deletions(-) diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn index 93870a55..4a5b9dc0 100644 --- a/lambda_evaluator.mdwn +++ b/lambda_evaluator.mdwn @@ -1,6 +1,3 @@ -Lambda Evaluator ----------------- - This lambda evaluator will allow you to write lambda terms and evaluate (that is, normalize) them, and inspect the results. (This won't work in Racket, because Racket doesn't even try to represent the internal structure of a function in a human-readable way.) -- 2.11.0