Comment on Lambda Calculus – Animated Beta Reduction of Lambda DiagramsComments−__grob9moThis is sick, loved the 2swap video on this. Happy to see more content visualizing lambda calculus and Tromp lambda diagrams.
Comments
This is sick, loved the 2swap video on this. Happy to see more content visualizing lambda calculus and Tromp lambda diagrams.