eta convert について EoPL から引用。 (lambda (x) (E x)) eta-converts to E, if x is not free in E. との事。随分イメージできるようになってきたので面白そう。

beta-reduction の検討着手。