agda2lagda-0.2020.11.1: Setup.hs

import Distribution.Simple
main = defaultMain