SUPPORTjlc Sections NuprlLIB Doc

Def FIncr == {f | i: if i=0 else {f(i-1)...} fi}

is mentioned

In prior sections: rfunction 1


SUPPORTjlc Sections NuprlLIB Doc