graph 1 3 Sections Graphs Doc

Def mk_adjmatrix(size, adj) == < size,adj >

is mentioned by

Def adjl_to_adjm(l) == Case(l) Case mk_adjlist(n; out ) = > mk_adjmatrix(n, i,j. (kout(i).k=j))[adjl_to_adjm]

Try larger context: Graphs

graph 1 3 Sections Graphs Doc