agda-deps: An Agda backend for visualizing lemma dependencies.

• The backend is defined in src/Main.hs.
• Run the backend with:

$ cabal run agda-deps -- -i test/ -o test/ test/Test.agda

Relevant links

• https://unimath.github.io/agda-unimath/VISUALIZATION.html