[Annoucement] Final term range

[aqjune]

Final term consists of several homework problems.
These problem will be from assignment 5 ~ 12. (It contains assignment 5 because it was not in midterm)
Remaining problems (not from homework) will be from chapter Maps ~ end.

기말고사 문제는 숙제에서 가져온 문제와 그렇지 않은 문제로 나뉩니다.
숙제에서 가져온 문제는 숙제 5 ~ 12에서 선발됩니다. (숙제 5가 중간고사의 숙제 문제 범위에 들어가지 않았었기 때문에 이번에 들어가게 되었습니다)
숙제에서 가져오지 않는 문제의 범위는 챕터 Maps ~ 끝 까지입니다.

[iskim517]

Does the range include Subtyping and Typechecking?

[aqjune]

I just checked your comment. No Subtyping, but contains Typechecking.