SUPPORTjlc Sections NuprlLIB Doc

Def ||as|| == Case of as; nil 0 ; a.as' ||as'||+1 (recursive)

is mentioned

In prior sections: list 1 list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc