dot-analysis

Analysing dependency graphs produced by Agda

Installation

cabal install .

Generate a dot file for an agda file -

agda -i. --dependency-graph={file_name}.dot {agda_file_name}.agda`

Run dot-analysis -

dot-analysis [--arity] [--weight] [--top] FILE

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
examples		examples
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
dot-analysis.cabal		dot-analysis.cabal