Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
ParseLambda  |
|
| | ||||
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
Parse lambda string with explicit variables:
In[1]:=
 | ParseLambda |
Out[1]=
λ[λ[λ[3[λ[λ[1[2[4]]]]][λ[2]][λ[1]]]]]
In[2]:=
| LambdaString |
Out[2]=
(λn.(λf.(λx.(((n (λg.(λh.(h (g f))))) (λu.x)) (λu.u)))))
Parse lambda written with indices:
In[3]:=
| ParseLambda |
Out[3]=
λ.[1[1]][λ.[1[1[λ.[λ.[1[2][λ.[λ.[2[2[1]]]]]]]]]]]
In[4]:=
| LambdaString |
Out[4]=
((λ (1 1)) (λ (1 (1 (λ (λ ((1 2) (λ (λ (2 (2 1)))))))))))
 |
|
""