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

1 comments

• bntr 8 hours 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