2007/10/18

Trace Note

把 Agda2/examples/AIM6/talk/RegExp/ 下的 *.agda 都讀完了,順便寫了一份類似 literate programs 的 trace note。因為 Unicode characters/fonts 很難纏,code 的排版只是勉強能看 XD。明天到中研院要討論,留了一些問題可以問。

今天甘宗左老師上得還滿有趣的,只是整體聽起來很像通識課 XD。

--
快睡著了 XD。

Labels: ,

<< 回到主頁