2007/10/15

不知不覺

本來在看知識論的閱讀材料,不知不覺就變成在看 Agda 的 regular expression example code 了 XD。用 hex editor 查出兩個畸形字元的內碼,上 Unicode 官方網站查出原來是代表 semantics 的中括號,換成 [[ 和 ]] 後,整篇 code 突然好讀很多 XD。

--
知識論就只好請梁老師開導啦 XD。

Labels:

<< 回到主頁