年度末、気の滅入る日

晴れているが寒く、風が強い。起床は9時半、気の滅入る一日。出勤する途中はお天気雨に降られ、電車は逃し、図書館は休刊日、などなど。ついでに、年度末、本日付けで辞職される方々の挨拶メールの量にさらに気が滅入る。職場ではAgdaを最新版にアップデート、しかしstandard library のエラーの多さに呆れる。帰宅は21時半、夕食はトマトスープ。