module Main where import Language.ATS.Package.Exec (exec) main :: IO () main = exec