SUPPORTjlc Sections NuprlLIB Doc

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

is mentioned

In prior sections: list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc