Agda-executable-2.2.0: Setup.hs

import Distribution.Simple

main = defaultMain