Finds (badly) unused imports based on Agda HTML output
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
Amélia Liao 862a42ab23 Initial commit 9 months ago
src Initial commit 9 months ago
.gitignore Initial commit 9 months ago
LICENSE Initial commit 9 months ago
README.md Initial commit 9 months ago
Setup.hs Initial commit 9 months ago
agda-unused-imports.cabal Initial commit 9 months ago
stack.yaml Initial commit 9 months ago
stack.yaml.lock Initial commit 9 months ago

README.md

agda-unused-imports