Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
BetaReduceList  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
In[1]:=
 | BetaReduceList |
Out[1]=
λ.[1[1][1]]λ.λ.[2[2[1]]],λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1]λ.λ.[2[2[1]]],λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1],λ.λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1],λ.λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2][1],λ.λ.λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][3]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][3][1]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2][1],λ.λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2][1],λ.λ.λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1][2]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][2][1]
Change traversal order:
In[2]:=
| BetaReduceList |
Out[2]=
λ.[1[1][1]]λ.λ.[2[2[1]]],λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1]λ.λ.[2[2[1]]],λ.λ.λ.[2[2[1]]]λ.[2[2[1]]]λ.λ.[2[2[1]]],λ.λ.λ.[3[3[1]]]λ.[3[3[1]]][1]λ.λ.[2[2[1]]],λ.λ.λ.[3[3[1]]][2[2[1]]]λ.λ.[2[2[1]]],λ.λ.[2[2[2[2[1]]]]]λ.λ.[2[2[1]]],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]][1],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.[2[2[1]]],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[3[3[1]]]λ.[3[3[1]]][1],λ.λ.λ.[2[2[1]]]λ.λ.[2[2[1]]]λ.λ.[3[3[1]]][2[2[1]]]
 |
|
""