[김지훈]

dissolveCbr: program -> program 이면..

모든 exp 앞에 K. 을 붙여 주어야 할까요???

현재는 structure K 안에 들어가 있는 상태로 간주하고 코딩했는데요..
(이렇게 되면 실행시에도 K.dissolveCbr 이라고 해야하죠)

[박대준]

저희가 K- 모듈 안에 dissolveCbr을 넣고 테스트 할 것이니,
K- 모듈 안에 있거나,
open K- 가 선언되었다고 간주하시고, 구현하시면 됩니다.

[이준희]

어... K.run(K.emptyMemory, K.emptyEnv, dissolveCbr S)라서, dissolveCbr은 main.n에 넣고 하고 있는데 K모듈 안에 넣어야 하는건가요?-_-;;
_________________
...

[박대준]

K 모듈 속에 없다고 가정하고 구현해도 상관없습니다.
적절히 채점할테니, 너무 신경쓰지 않으셔도 됩니다.

[이준희]

감사합니다.