blob: 4ba22753da90ce120c79937c5226d627f7ab8e41 (
plain)
1
2
3
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
|
