3 ms·
(I think) this is a modern rendition of David Keenan's To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction [1], also
by lifthrasiir 5y ago
(I think) this is a modern rendition of David Keenan's To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction [1], also linked in the OP. Perhaps you might appreciate the original better.
[1] https://dkeenan.com/Lambda/ https://dkeenan.com/Lambda/
- deleted 5y ago[deleted]
- PotatoPancakes 5y agoI see! Thank you lifthrasiir.
- Jtsummers 5y agoAlso: https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird - To Mock a Mockingbird by Smullyan, the origin for the birds in To Dissect a Mockingbird.