@hackage / agda-unused

Check for unused code in an Agda project.

Latest0.3.0

Dependencies

library:agda-unused (7 dependencies)

@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.2 && <0.7
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3.6 && <1.4
- License: BSD-3-Clause
@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: >=2.6.2 && <2.6.3
- License: MIT
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4.2 && <1.5
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.4 && <2.1
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <4.18
- License: BSD-3-Clause

executable:agda-unused (7 dependencies)

test:test (6 dependencies)