めでたい報告はだいたい行ったので，それ以外の雑多な振り返りです．
言語処理系
多相 let と let rec が実装できたので優勝といっても差し支えないのではないだろうか．
Coq
ぜんぜんできなかった証明を友だちに診てもらったらできてしまったので、見てもらうの大事そう
— うたがわきき🔰💊 (@utgwkk) 2018年8月29日
「無限ループは停止しない」ということを証明できずに詰まっていたが，見てもらいながら証明を書いていたら数分でできた．
アルバイト
最近ちゃんと労働できてない気がするのでもうちょっと整えてやっていきたい*1*2．
総括
いろいろ終わって落ち着いてたら無限に寝たいと思うことが増え，人間ぽい活動をするのが億劫になってしまった．
