Exercise F 第一部 任意の有限リストxsについて、以下の等式が成り立つことを証明せよ： foldl f e xs = foldr (flip f) e (reverse xs) 帰納法で解く。 Case [] 左辺 foldl f e [] = {foldlの定義} e Case [] 右辺 foldr (flip f) e (reverse []) = {revers…