---

simple-comb-0(b) ==  simple-comb(w.b;n.[][n])

---

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

---

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


Date html generated: 2011_08_16-PM-04_58_56
Last ObjectModification: 2011_06_02-PM-05_16_08

Home Index