summaryrefslogtreecommitdiff
path: root/lambda-calcul/README.md
blob: e24a32670fd9517aceb9cb9d613e02a4cdc19595 (plain) 
1
2

* [on ruliology and λ-calcul](https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/)
* [typechecker zoo](https://www.stephendiehl.com/posts/typechecker_zoo/)
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-05 21:02:11 +0000