---

first-class(L) ==  reduce(X,Y.[X?Y];Empty;L)

---

Definitions :  reduce: reduce(f;k;as),  lambda: x.A[x],  cond-class: [X?Y],  es-empty-interface: Empty
FDL editor aliases :  first-class

---

first-class(L)  ==    reduce(\mlambda{}X,Y.[X?Y];Empty;L)


Date html generated: 2010_08_27-PM-02_04_58
Last ObjectModification: 2010_04_14-PM-02_04_44

Home Index