打完了

把 Martin-Löf 的講義打完了（除了畫圖），快得連自己都不太相信 XD。正文包含很多長得不可理喻的 expressions，使排版難度提高不少，最後有些地方乾脆直接讓它凸出邊界 XD。等我校個稿畫完圖就可以私下 release 了 XD。

--
終於有一門數學課拿到 9x 分了 XD。