2008/11/12

舊版

即使 binary library 更新了,用 ghc-6.10.1 編譯的 Agda 還是很快就開始 thrashing,一動也不動。看來還是只能先用 ghc-6.8.2 撐著,幸好更換版本只要把幾個 symbolic links 改掉就行了。

--
現在最終結果似乎往「無解」偏了…

Labels:

<< 回到主頁