Comment by tonerow
3 years ago
Does anyone know how the subroutine diagrams are generated, or have more info about these graphs in general?
3 years ago
Does anyone know how the subroutine diagrams are generated, or have more info about these graphs in general?
They're called "Lambda Diagrams". See the inventor's homepage [1], and some animations [2]. There's actually a long and obscure history of visualizations for lambda calculus. One of the originals is "To Dissect a Mockingbird" [3], which if I recall correctly, was the main thing on the internet in 1996.
[1] https://tromp.github.io/ [2] https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrx...
[3] https://dkeenan.com/Lambda/
Thank you!
Build https://github.com/tromp/AIT and you can use ./blc Pbm foo.lam >foo.pbm; convert foo.pbm -interpolate Nearest -filter point -resize 800% foo.png