2007/10/10

好夢

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

--
醒來後好心酸 XD。

Labels:

<< 回到主頁