Comment on Coding is the purest form of artComments−tromp9moIf 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−learningstudOP9moYeah, that's why I mentioned Lean 4, Agda, and Rocq. Homotopy type theory is even better; see it's definition of a circle.
Comments
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
Yeah, that's why I mentioned Lean 4, Agda, and Rocq. Homotopy type theory is even better; see it's definition of a circle.