module Main where

import qualified Mit
import Prelude

main :: IO ()
main =
  Mit.main