Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
LambdaDiagram  |
|
| | ||||
Details and Options
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)
 |
|
 |
|
""