Lab 9

Develop the simple type checker we described in class. No interpreter, just the type-checker!

• Define the Expr type, including num, plus, times, fun, app, and id

• Define the Type type, including num and function

• Define the TEnv type alias, for mapping names to types

• Develop the typeCheck function, with type Expr TEnv -> Type