Nils Anders Danielsson nad at
Fri Aug 31 13:57:56 CEST 2012

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.


More information about the Libraries mailing list