2013-09-11 久々にAgda この2日野暮用もあってあまり活動できなかったが、久々にAgdaをさわった。Agdaでいろいろ書いていると、作業が漠然としなくてよい。ぼちぼち発表の準備をせなあかんわけでもあるが、ほかの同期もそんなに研究が進んでいるわけでもないという話を聞いて安心するなど。そりゃ就活とかもあったもんな。