From a8c27de3f4434d8a08e953b95b47a4161f9473ed Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 29 Nov 2025 09:07:09 +0100 Subject: start simple bank example --- lambda-calcul/README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'lambda-calcul/README.md') 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 -- cgit v1.3.1