is mentioned by

Def adjm_to_adjl(m) == Case(m) Case mk_adjmatrix(n,f) = > mk_adjlist(n, i.filter(j.f(i,j);upto(0;n)))

[adjm_to_adjl]

Try larger context: Graphs