module Main (main) where

import Mit qualified
import Prelude

main :: IO ()
main =
  Mit.main