Nuprl Definition : tagged-list-messages
tagged-list-messages(s;v;L) == concat(map(λtgf.map(λx.<fst(tgf), x>;(snd(tgf)) s v);L))
Definitions occuring in Statement :
concat: concat(ll),
map: map(f;as),
pi1: fst(t),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
pair: <a, b>
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:
2015_07_17-AM-09_12_40
Last ObjectModification:
2012_02_25-AM-10_53_09
Home
Index