[강동옥]

안녕하세요,

숙제 5가 올라왔음을 알려드립니다.
(내용 : http://ropas.snu.ac.kr/~kwang/4190.310/14/hw5.pdf)
(제출 : http://ropas.snu.ac.kr/~ta/4190.310/14/submit/index.pl)

숙제 5 제출기한 : 11/11 (화) 밤 12시

각 과제마다 어느 파일을 제출해야 하는지 꼭 확인해 주시기 바랍니다. 잘못된 파일을 제출했을 경우 조교팀에서도 어떻게 해드릴 방법이 없으니 주의해 주세요.

------------------------뼈대코드------------------------
<SM5 뼈대코드>

http://ropas.snu.ac.kr/~ta/4190.310/14/document/SM5_skel.zip

5-1은 translate.ml 파일을, 5-2는 sm5.ml 파일을 제출하시면 됩니다.

<K-- 스펙문서>
http://ropas.snu.ac.kr/~ta/4190.310/14/document/k--.pdf
2008년 문서이지만 달라진 것이 없으므로 이를 참고하는 것으로 하겠습니다.


<Lambda Calculus 뼈대코드>

http://ropas.snu.ac.kr/~ta/4190.310/14/document/Lambda_skel.zip

5-3은 evaluate.ml 파일을 제출하시면 됩니다.

두 압축파일 모두 같은 내용이며, README 파일의 한글 인코딩만 다릅니다.