[Agda] dependency graph

Martin Escardo m.escardo at cs.bham.ac.uk
Mon May 5 00:49:47 CEST 2014


Thanks. What is the difference of your dependency elimination with what
tred does? In my case, I don't use the standard library, but I would
like to get rid, in the graph, of auxiliary modules of my choice. For
the moment I did this manually. Martin

On 02/05/14 20:35, Tillmann Rendel wrote:
> Hi,
> 
> Martin Escardo wrote:
>> Does anybody have a tool to generate a dependency graph of a set of Agda
>> modules (say in dot format)?
> 
> Here's my tool to process the output of agda --dependency-graph in order
> to make it more readable. I wrote this to help me refactor our Agda code
> base that was split over ca. 40 files, and it helped a lot.
> 
>   https://github.com/Toxaris/filter-agda-dependency-graph
> 
> Tillmann
> 
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe


More information about the Agda mailing list