不知不覺

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

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