@hackage agda-unused0.2.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
- 0.2.0 Wed, 5 May 2021
- 0.1.0 Wed, 28 Oct 2020

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

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