2009/03/17

真會抓時間

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

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

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

Labels:

<< 回到主頁