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 11 months ago
src Initial commit 11 months ago
.gitignore Initial commit 11 months ago
LICENSE Initial commit 11 months ago
README.md Initial commit 11 months ago
Setup.hs Initial commit 11 months ago
agda-unused-imports.cabal Initial commit 11 months ago
stack.yaml Initial commit 11 months ago
stack.yaml.lock Initial commit 11 months ago

README.md

agda-unused-imports