慢？

其實「慢？」也的確可以是個 coreflexive 啦 XD。不知道是因為我用了好幾層的 with，還是因為當初編譯有瑕疵，Agda mode 載入一次，就要好幾分鐘，而且 Leopard 會愈變愈慢 XD。

--
培養耐性？XD