Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
EnumerateLambdas  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
Enumerate all lambda expression up-to depth 2 and length 2:
In[1]:=
 | EnumerateLambdas |
Out[1]=
{λ.[1],λ.[λ.[1]],λ.[λ.[2]],λ.[λ.[1[1]]],λ.[λ.[1[2]]],λ.[λ.[2[1]]],λ.[λ.[2[2]]],λ.[1[1]],λ.[1[λ.[1]]],λ.[1[λ.[2]]],λ.[1[λ.[1[1]]]],λ.[1[λ.[1[2]]]],λ.[1[λ.[2[1]]]],λ.[1[λ.[2[2]]]],λ.[λ.[1][1]],λ.[λ.[1][λ.[1]]],λ.[λ.[1][λ.[2]]],λ.[λ.[1][λ.[1[1]]]],λ.[λ.[1][λ.[1[2]]]],λ.[λ.[1][λ.[2[1]]]],λ.[λ.[1][λ.[2[2]]]],λ.[λ.[2][1]],λ.[λ.[2][λ.[1]]],λ.[λ.[2][λ.[2]]],λ.[λ.[2][λ.[1[1]]]],λ.[λ.[2][λ.[1[2]]]],λ.[λ.[2][λ.[2[1]]]],λ.[λ.[2][λ.[2[2]]]],λ.[λ.[1[1]][1]],λ.[λ.[1[1]][λ.[1]]],λ.[λ.[1[1]][λ.[2]]],λ.[λ.[1[1]][λ.[1[1]]]],λ.[λ.[1[1]][λ.[1[2]]]],λ.[λ.[1[1]][λ.[2[1]]]],λ.[λ.[1[1]][λ.[2[2]]]],λ.[λ.[1[2]][1]],λ.[λ.[1[2]][λ.[1]]],λ.[λ.[1[2]][λ.[2]]],λ.[λ.[1[2]][λ.[1[1]]]],λ.[λ.[1[2]][λ.[1[2]]]],λ.[λ.[1[2]][λ.[2[1]]]],λ.[λ.[1[2]][λ.[2[2]]]],λ.[λ.[2[1]][1]],λ.[λ.[2[1]][λ.[1]]],λ.[λ.[2[1]][λ.[2]]],λ.[λ.[2[1]][λ.[1[1]]]],λ.[λ.[2[1]][λ.[1[2]]]],λ.[λ.[2[1]][λ.[2[1]]]],λ.[λ.[2[1]][λ.[2[2]]]],λ.[λ.[2[2]][1]],λ.[λ.[2[2]][λ.[1]]],λ.[λ.[2[2]][λ.[2]]],λ.[λ.[2[2]][λ.[1[1]]]],λ.[λ.[2[2]][λ.[1[2]]]],λ.[λ.[2[2]][λ.[2[1]]]],λ.[λ.[2[2]][λ.[2[2]]]]}
 |
|
 |
|
""