projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tweak lambda evaluator
[lambda.git]
/
index.mdwn
diff --git
a/index.mdwn
b/index.mdwn
index
5c0359e
..
7c75223
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-26,7
+26,7
@@
Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages
Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
-There is now a [
lambda evaluator](/lambda-let.html)
you can use in your browser (no need to install any software).
+There is now a [
[lambda evaluator]]
you can use in your browser (no need to install any software).
It can help you check whether your answer to some of the homework questions works correctly.
(27 Sept) ...(Notes to come)
It can help you check whether your answer to some of the homework questions works correctly.
(27 Sept) ...(Notes to come)