Lambda Calculus in 400 Bytes

Re:Lambda Calculus in 400 Bytes by tonerow on Sunday February 27, 2022 @10:12PM (#30495931)

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

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by siddboots on Sunday February 27, 2022 @10:44PM (#30496154)

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/

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by tonerow on Sunday February 27, 2022 @11:22PM (#30496386)

Thank you!

[ Parent | on HN ]

Re:Lambda Calculus in 400 Bytes by jart on Sunday February 27, 2022 @10:31PM (#30496067)

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

[ Parent | on HN ]