summaryrefslogtreecommitdiff
path: root/lambda-calcul/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'lambda-calcul/README.md')
-rw-r--r--lambda-calcul/README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/lambda-calcul/README.md b/lambda-calcul/README.md
index c37f51d..4ba2275 100644
--- a/lambda-calcul/README.md
+++ b/lambda-calcul/README.md
@@ -1,3 +1,4 @@
* [on ruliology and λ-calcul](https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/)
* [typechecker zoo](https://www.stephendiehl.com/posts/typechecker_zoo/)
* [A tale of 4 lambdas](https://raw.githubusercontent.com/steshaw/lennart-lambda/master/top.pdf)
+* https://github.com/brendanzab/language-garden/tree/main/lang-lc-interpreters