[강호찬]

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

1번 문제의 보충 스펙(https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7157)에서
다음의 문구가 있습니다.

2. e가 상수(Num, Var, Fn, Rec) 일때만 cps(e) = \k.k(…) 형태를 허용합니다. 상수의 경우 e자체가 이미 계산된 결과이므로 바로 k에 전달하는 것입니다.

여기서 Rec이라는 타입이 없는데요, 혹시 Fnr이 이에 해당하나요?

감사합니다,
강호찬 드림.

[조승한]

네 그렇습니다.

조승한 드림