[최현돈]

'이 숙제에서는 다음의 특별한 두 조건을 만족하는 람다식만 다룬다'고 하셨는데, 그러면 테스트시에

((λ x x)(λ x x))

와 같은 식이나

((λx (x y)) (λ y y))

같이 조건을 만족하지 못하는 식은 테스트시에 들어오지 않는다고 가정해도 되나요? 아니면 이런 조건을 만족하는지 따로 체크해야 하나요?

[장수원]