舊版

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

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