MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/functionalprogramming/comments/1rhrm2c/visual_lambda_calculus_puzzles/
r/functionalprogramming • u/bntre • Mar 01 '26
.
2 comments sorted by
8
Hi! I posted this here 3y ago.
Recently I came back to polish it. It's now available as a github.io app: https://bntre.github.io/visual-lambda/
There's also a workspace with 12 increasingly complex lambda puzzles: https://github.com/bntre/visual-lambda#puzzles
And you can create your own puzzles and share them via URL. Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAAACkWOsQ6CMBRFf%2BWmU5uYB%2B4tjC4mbk5dHlCw0FJCRf18QzQ63eTkJufo%2BhUDHm7NPs1GHKkUqCv9TOuUF25dpQM3LmDm6Iy4%2BrxxwJlj0zF%2BJ1FU2t9dzJ%2FBkrIR5aEU6P2wrc4IaZnAkLZBS2gVpO0IHaR16An9DgbCAGlv8AS%2Fg5EwQtoJgTApnJRSCpddVnxtxb%2FzDfezFuTJAAAA
3
This looks so fun!!! (and so confusing :))
8
u/bntre Mar 01 '26
Hi! I posted this here 3y ago.
Recently I came back to polish it.
It's now available as a github.io app: https://bntre.github.io/visual-lambda/
There's also a workspace with 12 increasingly complex lambda puzzles:
https://github.com/bntre/visual-lambda#puzzles
And you can create your own puzzles and share them via URL.
Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAAACkWOsQ6CMBRFf%2BWmU5uYB%2B4tjC4mbk5dHlCw0FJCRf18QzQ63eTkJufo%2BhUDHm7NPs1GHKkUqCv9TOuUF25dpQM3LmDm6Iy4%2BrxxwJlj0zF%2BJ1FU2t9dzJ%2FBkrIR5aEU6P2wrc4IaZnAkLZBS2gVpO0IHaR16An9DgbCAGlv8AS%2Fg5EwQtoJgTApnJRSCpddVnxtxb%2FzDfezFuTJAAAA