agda-unused
Version 0.3.0 revision 0 uploaded by msuperdock.
Package meta
- Synopsis
- Check for unused code in an Agda project.
- Description
A tool to check for unused code in an Agda project.
- Author
- n/a
- Bug reports
- n/a
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Matt Superdock <msuperdock@gmail.com>
- Package URL
- n/a
- Stability
- n/a