module HW08Imp where

type Varname = String

data AExpr = Con Integer
           | Var Varname
           | Add AExpr AExpr
           | Mul AExpr AExpr
           deriving ( Eq, Show, Read )

data BExpr = Equal AExpr AExpr
           | LEQ AExpr AExpr
           | And BExpr BExpr
           | Not BExpr
           deriving ( Eq, Show, Read )

data Command = Assign Varname AExpr
          | Print Varname
          | If BExpr Command Command
          | While BExpr Command
          | Seq Command Command
          deriving ( Eq, Show, Read )

-- ✂ ----------------------------------------------
-- Část odsud níže kopírujte do odpovědníku v ISu

eval :: Command -> IO ()
eval = undefined