hackage.haskell.org : agda-unused
A tool to check for unused code in an Agda project.
Registry
- JSON
purl: pkg:hackage/agda-unused
Keywords:
dependent-types
, library
, mit
, program
, Propose Tags
License: MIT
Latest release: almost 3 years ago
First release: almost 5 years ago
Dependent packages: 1
Downloads: 441 total
Last synced: 19 days ago
Loading...
Readme
Loading...