Exercise 2.12 ええと昨晩遅くに残したメモを見つつ * 一つだったよな、と言いつつ以下がでっち上がった。さほど時間かかってません。

E の中身が lambda だったら変換対象外? そうなら意味的に整合してるカンジ。 (lambda (x) (lambda (x) y)) これは中の lambda が if y is free in E なのでそのまま (lambda (x) (lambda (y) y)) これは中の lambda が if y is not free in E なので外の引…