[강동옥]

Exercise 2. "Lambda Calculus"

- hw5_1.ml 을 제출합니다.

- 최종값이 나오지 않는다고 따로 예외처리를 하실 필요는 없습니다.

- test case는 모호하지 않도록 괄호를 친 인풋을 넣겠습니다. (혹 모호하더라도 조교들이 제공한 파서의 -pp 옵션 결과 기준으로 채점합니다.)

--------------------------------------------------

Exercise 2. "Encoding"

- hw5_2.ml 을 제출합니다.

-and (x, y) : 0이 false, 나머지 true로 간주하고 계산하며 true이면 1 false이면 0을 냅니다. x가 먼저 0으로 계산되면 y는 계산하면 안됩니다.

- natural number : 0이상 자연수
- sub결과 음수는 고려하지 않아도 됩니다.

- 채점방법은 숙제 의도에 맞게 여러분이 만드신 hw5_1.ml을 같이 활용하여 수행합니다.
즉 어떤 mexp와 그 결과 Num을 각각 번역하여 여러분이 제출하신 reduce로 돌리고 둘이 같은지 비교합니다.