[Agda] dependency graph

Martin Escardo m.escardo at cs.bham.ac.uk
Mon Jan 7 17:48:26 CET 2019

Previous message (by thread): [Agda] 10 PhD studentships in Nottingham
Next message (by thread): [Agda] dependency graph
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Is there a way to get a dependency graph of all (global) defined names 
in a set of Agda files?

Thanks,
Martin

Previous message (by thread): [Agda] 10 PhD studentships in Nottingham
Next message (by thread): [Agda] dependency graph
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list