Nuprl Definition : ml_apply
f(x) == let y ⟵ x in f y
Definitions occuring in Statement :
callbyvalueall: callbyvalueall,
apply: f a
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
apply: f a
FDL editor aliases :
ml_apply
Latex:
f(x) == let y \mleftarrow{}{} x in f y
Date html generated:
2017_09_29-PM-05_50_47
Last ObjectModification:
2017_05_08-PM-02_13_41
Theory : ML
Home
Index