The latest version of agda-unused is 0.3.0-0.

agda-unused

Version 0.1.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

Components