台風な夕暮れ

一日中 L [ x y ] -> x ≡ y と格闘していたが手がかりは得られず。Agda 難しすぎる。

今日明日、台風なようですが、それほどたいしたことはなく。去年も今頃は、同じようなことを言っていたはずだが、その後、強力な台風でアンテナ飛ばされたのだった。