---

std-l2m() ==  x.<[], Id, x>

---

Definitions :  lambda: x.A[x],  nil: [],  pair: <a, b>,  Id: Id
FDL editor aliases :  std-l2m

---

std-l2m()  ==    \mlambda{}x.<[],  Id,  x>


Date html generated: 2010_08_27-PM-08_05_01
Last ObjectModification: 2010_06_09-PM-11_58_33

Home Index