exe:agda

Dependencies

• Agda lib:Agda ==2.3.0.1
• base lib:base >=3 && <6

Reverse dependencies

None.