es-decl-set-single(i;ds;da) == <[i], 
i.ds, i.da>
Definitions :
cons: [car / cdr],
nil: [],
pair: <a, b>,
lambda: x.A[x]
FDL editor aliases :
es-decl-set-single
es-decl-set-single(i;ds;da) == <[i], \mlambda{}i.ds, \mlambda{}i.da>
Date html generated:
2010_08_27-AM-09_31_43
Last ObjectModification:
2009_12_16-AM-01_08_22
Home
Index