On 2012-08-30 21:45, Milan Straka wrote: > As far as I know, Data.Graph has not been given any attention in quite > some time. I do not know whether someone is using it. Agda uses Data.Graph to compute strongly connected components. -- /NAD