tagged-messages(l;s;v;L) == map(
x.<l, x>;tagged-list-messages(s;v;L))
Definitions :
map: map(f;as),
lambda: x.A[x],
pair: <a, b>,
tagged-list-messages: tagged-list-messages(s;v;L)
FDL editor aliases :
tagged-messages
tagged-messages(l;s;v;L) == map(\mlambda{}x.<l, x>tagged-list-messages(s;v;L))
Date html generated:
2010_08_26-PM-11_34_50
Last ObjectModification:
2008_02_27-PM-09_24_32
Home
Index