2007/10/16

Reading

正在閱讀 Agda code on regular expressions,把 code 重寫為類似 literate programs 的形式。目前好像都不太難,所謂「即之也溫」?XD

--
圖論作業等明天吧 XD。

Labels:

<< 回到主頁