---

da(dd;i) ==  (snd(snd(dd))) i

---

Definitions :  apply: f a,  pi2: snd(t)
FDL editor aliases :  es-decl-set-da

---

da(dd;i)  ==    (snd(snd(dd)))  i


Date html generated: 2010_08_27-AM-09_31_50
Last ObjectModification: 2009_12_16-AM-01_09_00

Home Index