module TC where

import Data.Map.Strict (Map)
import Data.Map.Strict qualified as Map
import TCDef

{-
helper will be marked by a TA and not automarked.
If you can't get your solution to compile, comment it out so typeOf can still be
automarked.
-}
helper env (x :+: y) = error "TODO"


typeOf :: Map String Type -> Expr -> Result Type
typeOf env _ = error "TODO"