Programming
•
eval :: Term a -> a
•
eval (Int n) = n
•
eval (Bool b) = b
•
eval (Plus x y) = eval x + eval y
•
eval (Less x y) = eval x < eval y
•
eval (If x y z) =
•
if (eval x)
•
then (eval y)
•
else (eval z)
•