3 ms·
If coding is the purest form of art, then lambda calculus may be the purest form of code. Its graphical representation [1] also looks somewhat artistic. [1] ht
by tromp 11mo ago
If coding is the purest form of art, then lambda calculus may be the purest form of code. Its graphical representation [1] also looks somewhat artistic.
[1] https://tromp.github.io/cl/diagrams.html https://tromp.github.io/cl/diagrams.html
- learningstud 11mo agoYeah, that's why I mentioned Lean 4, Agda, and Rocq. Homotopy type theory is even better; see it's definition of a circle.