module Main where

import qualified Evaluation
import qualified Hag

main :: IO ()
main =
  -- Evaluation.main
  Hag.main