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

rev_rev_idとは、リストに、逆順にする事を2回すると、元に戻る、というやつだ。みょんみょんさんがIsabelleで、 いとうかつとしさんがAgdaで、実装動画を上げている。ならば僕は、Idrisでやろう、と奮い立った。 （Idrisを起動するときは、> idris -XElabReflectionってやったら良い事があるかもしれない） 出来た物はこ…