2008/09/22

Installing Coq

看來是玩玩這隻當紅炸子雞的時候了 XD。

--
不過要裝很久很久 XD。


偷懶用 MacPorts 裝,結果裝了一大堆奇奇怪怪的東西,到一半還出現 build error。PB 熱得讓人完全不想碰,只有一股對它吹氣幫助散熱的衝動 XD。

--
連 OCaml 都要裝…

Labels: