module Main where

import Language.ATS.Generate (exec)

main :: IO ()
main = exec