module Main where import Graphics.Vty.Picture ( translate ) import Verify main = run_test $ do return ()