search

snu-sf-class / pl2016

14 stars 17 forks source link

Final exam #81

Open jeehoonkang opened 8 years ago

jeehoonkang commented 8 years ago

The final exam will be held.

jeehoonkang commented 8 years ago

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

jeehoonkang commented 8 years ago

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

alxest commented 8 years ago

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

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

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

alxest commented 8 years ago

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

jeehoonkang commented 8 years ago

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