[Agda] dependency graph

[Nils Anders Danielsson]

On 2014-05-02 21:35, Tillmann Rendel wrote:
> Here's my tool to process the output of agda --dependency-graph in
> order to make it more readable.

Do you think some of your code should be incorporated into Agda?

-- 
/NAD