Lambda Calculus – Animated Beta Reduction of Lambda Diagrams
via cruzgodar.com
Short excerpt below. Read at the original source.
Article URL: https://cruzgodar.com/applets/lambda-calculus Comments URL: https://news.ycombinator.com/item?id=46030613 Points: 4 # Comments: 0