Open in hackernews

Many Factorials in Lambda Calculus

https://text.marvinborner.de/2025-10-08-12.html
3marvinborner2h ago