[김지훈]

EQ
m.pdf 에는 n s b l 에 대해서만 정의되어 있는데요
pair와 closure에 대해서 equality operation이 들어오면
exception이 나게 해야 할까요??

LET
LET (REC (f, e1), e2)
경우에 m.pdf 에는 e1을 eval 했을 때 Fun(x,e) 가 나오는 경우에만 정의되어 있는데요 e1을 eval 했을 때 RecFun(g, x, e)가 나오는 경우도 있지 않을까요?
그냥 f로 x,e 를 새로 바인딩 시켜주면 될까요??

[신종호]

eq랑 write은 정말 발목은 잡네요;

[박대준]

[김지훈]

넵~
아, 그리고 LET REC 의 경우 파서에서 syntax error를 내 주네요^^;