notes for the lecture programming langs 8552637