Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
EvalLambda  |
|
| | ||||
|
| | ||||
Examples
(6)
Basic Examples
(2)
Evaluate lambda expression:
In[1]:=
 | EvalLambda |
Out[1]=
x.[x.]
Limit the number of sub-evaluation of the lambda expression:
In[1]:=
| EvalLambda |
Out[1]=
λ.[1[x.]][λ.[x.[1]]]
In[2]:=
| EvalLambda |
Out[2]=
λ.[x.[1]][x.]
In[3]:=
| EvalLambda |
Out[3]=
x.[x.]
Scope
(2)
Properties & Relations
(1)
Neat Examples
(1)
 |
|
 |
|
""