[Agda] dependency graph

Martin Escardo m.escardo at cs.bham.ac.uk
Fri May 2 11:46:23 CEST 2014


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


More information about the Agda mailing list