Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

[perryprog]

Article URL: https://cruzgodar.com/applets/lambda-calculus

Comments URL: https://news.ycombinator.com/item?id=46030613

Points: 58

# Comments: 5