好夢

我夢見 Agda code 顯示得好正常好漂亮，沒有奇怪的方格 XD。印象中是 implication 的箭號出現了，所以應該是 simply-typed lambda calculus 那一份 XD。

--
醒來後好心酸 XD。