MarkB generic Sections NuprlLIB Doc

Def (first x as s.t. P(x) else d) == Case of filter(x.P(x);as); nil d ; a.b a

is mentioned

In prior sections: mb list 2


MarkB generic Sections NuprlLIB Doc