[고성빈]

예를 들어서 "x"를 ")1"로 바꾸어,
\x.x -> \)1.)1
와 같이 해도 되나요? (체점기가 string으로, 아니면 lexp로 입력 받을까요?)

감사합니다.

[강동옥]

채점기 코드를 살펴보았는데, 채점 과정에서 별다른 문제가 발생하지는 않을 것으로 보입니다. 채점기는 수강생 여러분이 작성한 reduce 함수의 결과로 나온 lexp를 받아서 정답과 (alpha conversion을 고려하여) 비교할 것이기 때문에, ")1" 와 같은 문자열로 바꾸셔도 괜찮습니다.

나중에 채점결과를 확인할 때, 만약 이와 관련된 문제로 인해 감점되셨다면 조교팀에 알려주시면 조치해 드리겠습니다.

[고성빈]

감사합니다.