[민현기]

정의되지 않은 반응은 어떻게 되나요?

예를들어 (react (K x)) 의 결과는 뭔가요?

또, 정의가 안됬지만 내부에서는 반응가능한 경우는 어떻게 되나요?

예를들어 ((S x) (I x)) 는 ((S x) x) 로 반응을 하나요? 아니면 그대로 둬야 하나요?

[강동옥]

더이상 진행이 불가능하면 그대로 출력해주세요.
(react (K x))는 (K, "x")가 되겠습니다.

내부에서 반응가능하다면 끝까지 녹여주세요.
((S x) x)로 반응합니다.