IFPuH ex1.2.1

問題

「x*yを評価する為にはxとyがnormal formに簡約できるということが必要である」という前提のもと、square infinityの評価が停止するかどうか

回答

square infinityという式の簡約をそのまま考える。
foo = hoge hoge

$$$$
squareinfinity




f
g


z