COP 3223H meeting -*- Outline -*- * syntax-semantics * examples * friday-problems