よく晴れる。しかし寒い。さすがに12月だ。起床は8時半、出勤して今後のコードのデザインを考える。 夕方、Ktさんが新しく書いたインストールマニュアルのテストも兼ねて、Agda2を最新版に更新する。前にインストールした版は10月後半のもので、Termination…