Publication Recommended!!

〈Algebra of Programming using Dependent Types〉journal 版通過審查了（minor revision）！這次 referees 看得非常仔細，像第一個 referee 的評論雖然篇幅相對較短，但逐點看下來，所有弱點或不足之處都被硬生生地抓出來（cf. 勇者王 GaoGaiGar 的招式 "Hammer Heaven" XD），讓我看得膽戰心驚。不過還是挺過癮的啦 XD。

--
赫然發現在交大浩然圖書館照的那張照片背景竟是〈定風波〉！