Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
RandomLambda  |
|
| | ||||
|
| | ||||
Examples
(2)
Basic Examples
(2)
Generate a random lambda expression:
In[1]:=
 | RandomLambda |
Out[1]=
λ.[λ.[λ.[2[2][3]][λ.[2[3][3]]]][λ.[λ.[1[1][1]][λ.[3[3][2]]]]][λ.[λ.[1][λ.[1[2]]]]]]
Generate 10 random lambda expressions.
In[1]:=
| RandomLambda |
Out[1]=
{λ.[λ.[λ.[3[3]]]],λ.[λ.[λ.[1[3]][λ.[3]]]],λ.[λ.[λ.[1[3]]][λ.[λ.[2[1]]]]],λ.[λ.[λ.[1]][λ.[λ.[1][λ.[2[1]]]]]],λ.[λ.[λ.[1]]],λ.[λ.[λ.[2[1]][λ.[3[2]]]][λ.[λ.[1][λ.[3[3]]]]]],λ.[λ.[λ.[1[2]]][λ.[λ.[1[2]]]]],λ.[λ.[λ.[3][λ.[1[3]]]]],λ.[λ.[λ.[1[2]][λ.[3]]]],λ.[λ.[λ.[1]]]}
 |
|
 |
|
""