Graphs
Sections
NuprlLIB
Doc
Def
||as|| == Case of as; nil
0 ; a.as'
||as'||+1 (recursive)
is mentioned
In prior sections:
list
1
mb
basic
mb
list
1
mb
list
2
graph
1
1
graph
1
2
graph
1
3
Graphs
Sections
NuprlLIB
Doc