alt.hn

4/19/2026 at 11:03:20 PM

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)

https://dkeenan.com/Lambda/index.htm

by pizza

4/20/2026 at 8:43:22 AM

i have no practice with lambda calculus, and no reason too, but i love esoteric diagram types and ill-advised metaphors. i'm gonna learn this shit

by sixeyes