Nuprl - SUPPORTjlc Citations of filter

Def filter(f;L) == (letrec filter f L = (Case of L; nil

nil ; h.t

if f(h)

h.filter(f,t) else filter(f,t) fi) ) (f,L)

is mentioned

In prior sections: list 3 jlc