---

val(X,e) ==  eo.do-apply(X eo;e)

---

Definitions :  lambda: x.A[x],  do-apply: do-apply(f;x),  apply: f a
FDL editor aliases :  es-interface-val

---

val(X,e)  ==    \mlambda{}eo.do-apply(X  eo;e)


Date html generated: 2010_08_27-PM-02_10_13
Last ObjectModification: 2010_01_25-PM-09_47_01

Home Index