rev_rev_idとは、リストを2回逆順にすると元に戻る、というやつだ。 Leanで挑戦してみた。 Leanのインストール バイナリがあるから、それを持ってくるだけ。 本格的にやりたい方は https://righ1113.hatenablog.com/entry/2020/06/06/101151 をどうぞ。 開発…