module Main where

import Mortred
import Prelude (IO)

-- This `main` function just delegates to the library's definition of `main`
main :: IO ()
main = runMain