Final exam

[jeehoonkang]

The final exam will be held.

• Time: June 11 (Sat) 18:00-21:00
• Place: Bldg 302 Rm 312 Software Lab

[jeehoonkang]

@gilhur 교수님께 여쭤보고 싶습니다.

[jeehoonkang]

2015 final problems: https://github.com/snu-sf-class/pl2016/blob/master/exams/2015final.v

[alxest]

@jeehoonkang tmmultpair 관련해서 문제 설명 주석에 오타가 있는 것 같습니다.

(** Translate this informal recursive definition into one using [fix]:
<<
   tmmultpair = 
     \X:Nat*Nat. mult (fst X) (fst X)
>>
*)

이 설명대로라면 fix 를 쓸 필요가 없고 mult 가 무엇인지 명시되어있지 않습니다.

[alxest]

mult -> tmult, 뒤의 fst X 를 snd X 로 고치면 테스트 통과합니다.

[jeehoonkang]

음 제가 시험문제는 잘 몰라서.. 교수님께 여쭤봐야 할 것 같습니다.