慢?
其實「慢?」也的確可以是個 coreflexive 啦 XD。不知道是因為我用了好幾層的 with,還是因為當初編譯有瑕疵,Agda mode 載入一次,就要好幾分鐘,而且 Leopard 會愈變愈慢 XD。
--
培養耐性?XD
Labels: Agda
Let's see how far we can go.
其實「慢?」也的確可以是個 coreflexive 啦 XD。不知道是因為我用了好幾層的 with,還是因為當初編譯有瑕疵,Agda mode 載入一次,就要好幾分鐘,而且 Leopard 會愈變愈慢 XD。
--
培養耐性?XD
Labels: Agda
<< 回到主頁