コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

何かのタネ

関数合成を連ねる感じで、Idris でプログラムを書いてみた。
何かのタネになるかもしれない。