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