tagged-list-messages(s;v;L) ==
concat(map(
tgf.map(x.<fst(tgf), x>;(snd(tgf)) s v);L))
Definitions :
concat: concat(ll),
map: map(f;as),
lambda: x.A[x],
pair: <a, b>,
pi1: fst(t),
apply: f a,
pi2: snd(t)
FDL editor aliases :
tagged-list-messages
tagged-list-messages(s;v;L) == concat(map(\mlambda{}tgf.map(\mlambda{}x.<fst(tgf), x>(snd(tgf)) s v);L))
Date html generated:
2010_08_26-PM-11_34_46
Last ObjectModification:
2008_02_27-PM-09_24_28
Home
Index