exe:agda

Dependencies

• Agda lib:Agda >=0
• base lib:base >=0

Reverse dependencies

None.