Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
LambdaDiagram  |
|
| | ||||
▪
Inspired by , lambda abstractions are represented by horizontal lines extending from a dot to the right, variables are vertical lines emanating from the corresponding lambda and compositions are all the line extensions from a dot to a line intersection at the bottom line.
Examples
(4)
Basic Examples
(2)
Make a diagram of a lambda term:
In[1]:=
 | LambdaDiagram |
Out[1]=
In[2]:=
| LambdaDiagram |
 | RandomLambda |
Out[2]=
Explore interactive tooltips and perform interactive beta reductions by clicking on lambda application lines:
In[1]:=
| LambdaDiagram |
 | ParseLambda |
In[2]:=
Neat Examples
(2)
 |
|
 |
|
 |
|
""