Lambda diagram

Lambda diagrams are a compact graphical visualization of lambda calculus with pretty much no room for interpretation.
Lambda calculus is a a formalism with only three types of terms that can represent any kind of computation in a very minimalistic way.
Lambda diagrams are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html

As a programming interface

As a novel idea for a user friendly programming interface on this wiki there are presented "annotated lambda diagrams" (ALDs)
In this naming scheme basic unannotated lambda diagrams could also be called "plain lambda diagrams" (PLDs)

Related

• Lambda calculus
• Annotated lambda diagrams
• Annotated lambda diagram mockups

External links

• Page about Lambda-diagrams on John Tromp's homepage: https://tromp.github.io/cl/diagrams.html
• Page with detailed explanation on how they are drawn and visually evaluated: How to draw lambda diagrams ("Rising Entropy" blog 2020-07-06)

---

• Code generating lambda diagrams (using haskells diagrams library): https://github.com/polux/lambda-diagrams
• Animation Videos made with this code: Playlist: Lambda Diagrams