make-lg(L) ==  map(
x.<x, [], []>L)
Definitions : 
map: map(f;as), 
lambda:
x.A[x], 
pair: <a, b>, 
nil: []
FDL editor aliases : 
make-lg
make-lg(L)  ==    map(\mlambda{}x.<x,  [],  []>L)
Date html generated:
2010_08_27-PM-03_40_48
Last ObjectModification:
2010_05_06-PM-02_01_13
Home
Index