5 ms·

Does anyone know how the subroutine diagrams are generated, or have more info about these graphs in general?

• jart 5y ago
  Build https://github.com/tromp/AIT 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
• siddboots 5y ago
  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/ https://tromp.github.io/ [2] https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrx... [3] https://dkeenan.com/Lambda/ https://dkeenan.com/Lambda/
  • tonerow 5y ago
    Thank you!