taehwoi
commented
8 years ago P06.v에서 주석에는 mult_comm를 증명하라고 되어있는데 명제는 plus_swap 입니다. plus_swap을 증명하면 되나요? 감사합니다.
Open jeehoonkang opened 8 years ago
taehwoi
commented
8 years ago P06.v에서 주석에는 mult_comm를 증명하라고 되어있는데 명제는 plus_swap 입니다. plus_swap을 증명하면 되나요? 감사합니다.
jeehoonkang
commented
8 years ago (_, _) notation이 다른데서 정의되었는데 그게 overwritten되어서 나온 warning같습니다.(_, _)가 아니면 다소 어려울 것 같습니다. 경고는 무시해주시면 감사하겠습니다.jeehoonkang
commented
8 years ago https://github.com/snu-sf-class/pl2016/issues/31#issuecomment-198257217 반영하였습니다 (dd11850b129055557c980e79849d468fcefbb5d6).
Dongjoo-Kim
commented
8 years ago $ make eval
./check.sh
./check.sh: line 2: $'\r': command not found
./check.sh: line 3: syntax error near unexpected token $'{\r'' '/check.sh: line 3:function check_keyword() {
Makefile:12: 'check' 타겟에 대한 명령이 실패했습니다
make: *\ [check] 오류 2
make는 정상적으로 진행되고 make eval과 make submission을 하니 나온 메세지입니다. 제가 그냥 압축을 하여 제출을 하니 만점이 나오는데 check.sh에 오류가 있는건가요?
jeehoonkang
commented
8 years ago 오래 답을 드리지 않아 죄송합니다. 질문을 잊고 있었던 것 같습니다. 다음을 참조하세요: https://github.com/snu-sf-class/pl2016/issues/48
Assignment 02 is issued: https://github.com/snu-sf-class/pl2016#assignments
Please ask questions here.