@hackage agda-unused0.3.0

Check for unused code in an Agda project.

Categories
License
MIT
Maintainer
Matt Superdock <msuperdock@gmail.com>
Links
Versions
- 0.3.0 Sat, 26 Nov 2022

Installation
In your cabal file:
Dependencies (7)
- base >=4.13 && <4.18
- containers >=0.6.2 && <0.7
- directory >=1.3.6 && <1.4
- filepath >=1.4.2 && <1.5
- mtl >=2.2.2 && <2.4
- text >=1.2.4 && <2.1
Dependents (0)

A tool to check for unused code in an Agda project.