exe:agda2lagda

Dependencies

• base lib:base >=4.9 && <5
• directory lib:directory >=0
• filepath lib:filepath >=0
• optparse-applicative lib:optparse-applicative >=0.13 && <0.18

Reverse dependencies

None.