lib:agda-unused

Modules

• Agda.Unused
• Agda.Unused.Check
• Agda.Unused.Monad.Error
• Agda.Unused.Monad.Reader
• Agda.Unused.Monad.State
• Agda.Unused.Print
• Agda.Unused.Types.Access
• Agda.Unused.Types.Context
• Agda.Unused.Types.Name
• Agda.Unused.Types.Range
• Agda.Unused.Utils

Dependencies

• Agda lib:Agda >=2.6.2 && <2.6.3
• base lib:base >=4.13 && <4.18
• containers lib:containers >=0.6.2 && <0.7
• directory lib:directory >=1.3.6 && <1.4
• filepath lib:filepath >=1.4.2 && <1.5
• mtl lib:mtl >=2.2.2 && <2.4
• text lib:text >=1.2.4 && <2.1

Reverse dependencies

Direct only. Not exhaustive.

• agda-unused exe:agda-unused
• agda-unused test:test