exe:agda

Dependencies

• Agda lib:Agda >=0
• base lib:base >=4.7.0.2 && <6

Reverse dependencies

None.