Installing Coq
看來是玩玩這隻當紅炸子雞的時候了 XD。
--
不過要裝很久很久 XD。
偷懶用 MacPorts 裝,結果裝了一大堆奇奇怪怪的東西,到一半還出現 build error。PB 熱得讓人完全不想碰,只有一股對它吹氣幫助散熱的衝動 XD。
--
連 OCaml 都要裝…
Labels: 雜記
Let's see how far we can go.
看來是玩玩這隻當紅炸子雞的時候了 XD。
--
不過要裝很久很久 XD。
偷懶用 MacPorts 裝,結果裝了一大堆奇奇怪怪的東西,到一半還出現 build error。PB 熱得讓人完全不想碰,只有一股對它吹氣幫助散熱的衝動 XD。
--
連 OCaml 都要裝…
Labels: 雜記
<< 回到主頁