Re: Data.Graph

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