---

b| | ==  simple-comb(w.b;z.[][z])

---

Definitions occuring in Statement :  simple-comb: simple-comb(F;Xs),  select: l[i],  lambda: x.A[x],  nil: []
Definitions :  lambda: x.A[x],  select: l[i],  nil: []
FDL editor aliases :  simple-comb0

---

b|  |  ==    simple-comb(\mlambda{}w.b;\mlambda{}z.[][z])


Date html generated: 2011_08_16-PM-04_52_28
Last ObjectModification: 2011_05_11-AM-01_24_43

Home Index