Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web

16 points by bntr2 days ago

2 comments

bntr2 days ago
For comparison: factorial(3) visualized in two different notations.<p>John Tromp's Lambda Diagrams (via 2swap): <a href="https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=1346s" rel="nofollow">https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=1346s</a><p>Bubble Notation: <a href="https://www.youtube.com/watch?v=aRgu8S3Pnb8" rel="nofollow">https://www.youtube.com/watch?v=aRgu8S3Pnb8</a>
- discarded10231 hour ago
  Here's another from a long time ago: <a href="https://dkeenan.com/Lambda/" rel="nofollow">https://dkeenan.com/Lambda/</a>
- the_cat_kittles1 hour ago
  2swap has some incredible videos
bntr15 hours ago
You can also construct your own puzzles and share them via URL.<p>Example: <a href="https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAAACkWOsQ6CMBRFf%2BWmU5uYB%2B4tjC4mbk5dHlCw0FJCRf18QzQ63eTkJufo%2BhUDHm7NPs1GHKkUqCv9TOuUF25dpQM3LmDm6Iy4%2BrxxwJlj0zF%2BJ1FU2t9dzJ%2FBkrIR5aEU6P2wrc4IaZnAkLZBS2gVpO0IHaR16An9DgbCAGlv8AS%2Fg5EwQtoJgTApnJRSCpddVnxtxb%2FzDfezFuTJAAAA" rel="nofollow">https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...</a>