[Agda] dependency graph

[Martin Escardo]

On 02/05/14 11:03, Nils Anders Danielsson wrote:
> On 2014-05-02 11:46, Martin Escardo wrote:
>> Does anybody have a tool to generate a dependency graph of a set of
>> Agda modules (say in dot format)? Can this be extracted from .agdai
>> files? Thanks, Martin
>
>  From agda --help:
>
>    --dependency-graph=FILE                     generate a Dot file with
> a module dependency graph

Thanks. I found useful to pre-process the dot file with "tred" to remove 
transitivities, as otherwise the graph has too many edges and gets 
unreadable.

Martin