exe:agda

Dependencies

• Agda lib:Agda ==2.5.2
• base lib:base >=4.6.0.1 && <6

Reverse dependencies

None.