SUPPORTjlc Sections NuprlLIB Doc

Def remove(eq;x;L) == (letrec remove eq x L = (Case of L; nil nil ; h.t if eq(x,h) t else h.remove(eq,x,t) fi) ) (eq,x,L)

is mentioned

In prior sections: list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc