16 points | by bntr 3 days ago ago
4 comments
For comparison: factorial(3) visualized in two different notations.
John Tromp's Lambda Diagrams (via 2swap): https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=1346s
Bubble Notation: https://www.youtube.com/watch?v=aRgu8S3Pnb8
Here's another from a long time ago: https://dkeenan.com/Lambda/
2swap has some incredible videos
You can also construct your own puzzles and share them via URL.
Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...
For comparison: factorial(3) visualized in two different notations.
John Tromp's Lambda Diagrams (via 2swap): https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=1346s
Bubble Notation: https://www.youtube.com/watch?v=aRgu8S3Pnb8
Here's another from a long time ago: https://dkeenan.com/Lambda/
2swap has some incredible videos
You can also construct your own puzzles and share them via URL.
Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...