projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2ee0d29
)
tweak lambda evaluator
author
Jim Pryor
<profjim@jimpryor.net>
Thu, 23 Sep 2010 10:15:24 +0000
(06:15 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Thu, 23 Sep 2010 10:15:24 +0000
(06:15 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
lambda_evaluator.mdwn
patch
|
blob
|
history
diff --git
a/lambda_evaluator.mdwn
b/lambda_evaluator.mdwn
index
93870a5
..
4a5b9dc
100644
(file)
--- 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.)