>>654
ああ、なるほど。>>645のいうとおりだ。ならんわ。
＞=(λx.x(λy.yhy)(λz.zz)x)
↑ここまではいいとして
＞=(λx.x(λy.y(λz.zz)y)x)
↑ここは誤り。カッコのかかり方を勘違いした。

うわぁ、だからおかしくなったのか・・・ＯＴＬ