projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b19700a
)
(no commit message)
author
barker
<barker@web>
Tue, 21 Sep 2010 00:37:58 +0000
(20:37 -0400)
committer
Lambda Wiki
<lambda@SERVER.PHILOSOPHY.FAS.NYU.EDU>
Tue, 21 Sep 2010 00:37:58 +0000
(20:37 -0400)
lambda_evaluator.mdwn
patch
|
blob
|
history
diff --git
a/lambda_evaluator.mdwn
b/lambda_evaluator.mdwn
index
bc9d2a2
..
4cf0736
100644
(file)
--- a/
lambda_evaluator.mdwn
+++ b/
lambda_evaluator.mdwn
@@
-1,7
+1,7
@@
Lambda Evaluator
----------------
-There is now a [lambda evaluator](lambda-let.html) available.
+There is now a [lambda evaluator](
http://lambda.jimpryor.net/
lambda-let.html) available.
It will allow you to write lambda terms and evaluate them, with full ability to 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.)