---

std-n2m() ==  n.<[], , n>

---

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

---

std-n2m()  ==    \mlambda{}n.<[],  \mBbbZ{},  n>


Date html generated: 2010_08_27-PM-08_04_57
Last ObjectModification: 2010_06_09-PM-11_57_09

Home Index