S09

Contents

Synopsis

Exercise 2

alphaEq :: String -> Term -> Term -> BoolSource

Exercise 3

showTerm :: Term -> StringSource

Exercise 4

eval :: Exp -> IntegerSource

Exercise 5

uibkMail :: String -> Maybe (String, String)Source

Exercise 6

fromHex :: String -> Maybe IntSource