Trace Note

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

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

--
快睡著了 XD。