Lambda diagram: Difference between revisions
Jump to navigation
Jump to search
Just a minimal page |
m bold |
||
| Line 1: | Line 1: | ||
'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br> | '''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br> | ||
'''Lambda diagrams''' are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html | '''Lambda diagrams''' are presented by John Tromp on his homepage here: '''https://tromp.github.io/cl/diagrams.html''' | ||
To discern them from an extension onto the idea: [[annotated lambda diagram]]s (ALDs) as presented here on this wiki, <br> | To discern them from an extension onto the idea: [[annotated lambda diagram]]s (ALDs) as presented here on this wiki, <br> | ||
Revision as of 13:25, 15 July 2021
Lambda diagrams are a compact graphical visualization of lambda calculus with pretty much no room for interpretation.
Lambda diagrams are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html
To discern them from an extension onto the idea: annotated lambda diagrams (ALDs) as presented here on this wiki,
They basic normal lambda diagrams could also be called unannotated or "plain lambda diagrams" (PLDs)