SUPPORTjlc
Sections
NuprlLIB
Doc
Def
|
| == (letrec l L = (Case of L; nil
0 ; h.t
1+l(t)) )
is mentioned
In prior sections:
list
3
jlc
SUPPORTjlc
Sections
NuprlLIB
Doc
| == (letrec l L = (Case of L; nil 
0 ; h.t 1+l(t)) )