Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

5 comments

• tromp 37 minutes ago
  You can enter (λn.n(λc.λa.λb.cb(λf.λx.f(afx)))Fn0)7 to compute the function Col' from [1] to 7, resulting in (3*7+1)/2 = 11. Unfortunately, this visualization is much less insightful than showing the 7 successive succ&swap operations:

       7  0
       0  8
       8  1
       1  9
       9  2
       2 10
      10  3
       3 11
  

  [1] https://news.ycombinator.com/item?id=46022965
• ggm 55 minutes ago
  The number of reduction steps in division.
• __grob 1 hour ago
  This is sick, loved the 2swap video on this. Happy to see more content visualizing lambda calculus and Tromp lambda diagrams.
• Vosporos 47 minutes ago
  Cheers, I love it!
• discovermsps 30 minutes ago
  [dead]