■

起床は8時。あつい。9月とは思えない。
出勤して論文を読み、Agdaをいじる。マニュアルの練習問題をやるが、2カ所で詰まる。Kさんに聞くと、一カ所はマニュアルが古い記法で書いてあるが現在は変更されていてその記法は通用しないそうで、もう一カ所については逆にマニュアルの記述はインストールしたversionではまだ実装されていないとか（最新版でやっとマニュアル通りになった）。エラーには理由がある。
帰宅は20時半。夕食は貰い物の鯛の焼き魚の残りで鯛飯、付け合わせで貰い物のオクラ。