[정지홍]

6-2번에서 M0는 eager-evaluation 프로그래밍 언어라고 되어 있고
M0 코드를 받아 람다식으로 번역하는게 문제인데 이 때 번역 후에 reduce가
지난 과제 5-3에서의 normal-order reduction을 따른다고 가정해도 되나요?

만약 normal-order reduction이 아니라 eager-evaluation 이면
if문과 recursive function을 다르게 처리해야할 것 같아서요

[강동옥]