CSC448: Type Checking: Discussion [35/133]

Any questions?