* [on ruliology and λ-calcul](https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/)
* [typechecker zoo](https://www.stephendiehl.com/posts/typechecker_zoo/)