The latest version of agda-unused is 0.3.0-0.
lib:agda-unused
Modules
- Agda.Unused
- Agda.Unused.Check
- Agda.Unused.Monad.Error
- Agda.Unused.Monad.Reader
- Agda.Unused.Monad.State
- Agda.Unused.Parse
- Agda.Unused.Print
- Agda.Unused.Types.Access
- Agda.Unused.Types.Context
- Agda.Unused.Types.Name
- Agda.Unused.Types.Range
- Agda.Unused.Types.Root
- Agda.Unused.Utils
Dependencies
- Agda lib:Agda >=2.6.1 && <2.6.2
- base lib:base >=4.13.0 && <4.14
- containers lib:containers >=0.6.2 && <0.7
- directory lib:directory >=1.3.6 && <1.4
- filepath lib:filepath >=1.4.2 && <1.5
- megaparsec lib:megaparsec >=8.0.0 && <8.1
- mtl lib:mtl >=2.2.2 && <2.3
- text lib:text >=1.2.4 && <1.3
Reverse dependencies
Direct only. Not exhaustive.
- agda-unused exe:agda-unused
- agda-unused test:test