Installing Coq

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

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

---

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

--
連 OCaml 都要裝…