[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