この2日野暮用もあってあまり活動できなかったが、久々にAgdaをさわった。Agdaでいろいろ書いていると、作業が漠然としなくてよい。ぼちぼち発表の準備をせなあかんわけでもあるが、ほかの同期もそんなに研究が進んでいるわけでもないという話を聞いて安心…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。