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

4 comments

• bntr 3 days ago ago

  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

  [-]
  • discarded1023 2 hours ago ago

    Here's another from a long time ago: https://dkeenan.com/Lambda/

  • the_cat_kittles an hour ago ago

    2swap has some incredible videos

• bntr 15 hours ago ago

  You can also construct your own puzzles and share them via URL.

  Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...