thread-messages(thr) == filter(
e.isMsg(e);thr)
Definitions :
filter: filter(P;l),
lambda: x.A[x],
ses-msg: isMsg(e)
FDL editor aliases :
thread-messages
thread-messages(thr) == filter(\mlambda{}e.isMsg(e);thr)
Date html generated:
2010_08_28-AM-02_38_41
Last ObjectModification:
2010_02_22-PM-10_39_50
Home
Index