PandocAgda-2.3.3: Setup.hs

import Distribution.Simple
main = defaultMain