Lambda 演算 – Lambda 图的动画化 Beta 规约

Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

原始链接: https://cruzgodar.com/applets/lambda-calculus

需要启用 JavaScript 才能使用本网站以及许多其他网站。