真會抓時間

就在我畫完一堆 PQ/PC-tree、終於要再和 Agda 的 coinduction 親近親近的時候，NAD 很適時地寄了一封信到 mailing list 上，說他把 coinduction 機制大改了一番 XD。

今日飲食：中午鍋燒烏龍麵 @ 老爺上菜（$80）；晚上魷魚羹粄條 + 燙青菜 @ 鐵板炒飯（$80）+ 巧克力葡萄奶酥麵包 @ 男一麵包店（$18）+ 蘋果汁 @ 男七販賣機（$13）。合計 $191。

--
寫了就知道到底改多少 XD。