13.9 練習問題 付録Aにある標準ライブラリの中から重複のあるパターンを使って定義されている関数を探せ。 いま手元に教科書がなくて、付録Aを確認できないので、今日はパス。 add n (Succ m) = Succ (add n m) であることをnに対する数学的帰納法で示せ。 n…