list-to-cdv(L) == list_accum(a,b.cdvpair(a;b);hd(L);tl(L))
Definitions :
list_accum: list_accum(x,a.f[x; a];y;l),
cdvpair: cdvpair(fst;snd),
hd: hd(l),
tl: tl(l)
FDL editor aliases :
list-to-cdv
list-to-cdv(L) == list\_accum(a,b.cdvpair(a;b);hd(L);tl(L))
Date html generated:
2010_08_27-PM-08_10_24
Last ObjectModification:
2010_06_22-PM-03_38_11
Home
Index