diff options
Diffstat (limited to 'lambda-calcul/README.md')
| -rw-r--r-- | lambda-calcul/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lambda-calcul/README.md b/lambda-calcul/README.md index e24a326..c37f51d 100644 --- a/lambda-calcul/README.md +++ b/lambda-calcul/README.md @@ -1,2 +1,3 @@ * [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) |