IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def mapfilter(f;P;L) == map(f;filter(P;L))
is mentioned by
Def withlnk(l;mss) == mapfilter( ms.2of(ms); ms.mlnk(ms) = l;mss) | [w-withlnk] |
In prior sections:
mb list 2
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html