[Agda] dependency graph

[Tillmann Rendel]

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