[이중호]

ex5)

natadd와 natmul은 같은 파일 (ex5.ml)에 정의해야 될텐데

그럼 natmul을 정의할때 위에서 정의한 natadd를 사용해도 되나요?

아니면 natmul 안에 let ..... in 을 사용해서 natadd와 같은 기능을 하는 지역함수를 만들어서 사용해야 되나요

ex6)

입력으로

crazy2val NIL;;

이면 어떤 값을 리턴해야 하나요


ex7)

만약 결과값이 ZERO(ZERO(ZERO(ZERO NIL))) 이라면 이걸 그대로 출력해도 되나요?

아니면 ZERO NIL(NIL이 0이라면 NIL출력)같이 최소한으로 축소해서 출력해야되나요

[허기홍]

ex6)
natmul을 정의하실 때 natadd를 사용해도 됩니다. 굳이 같은 일을 하는 놈을 또 만드실 필요는 없겠죠.

ex7)
축소한 값을 리턴하세요.