[Agda] dependency graph

[Nils Anders Danielsson]

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

-- 
/NAD