MiniAgda-0.2014.1.9: Setup.hs

import Distribution.Simple
main = defaultMain