MacPorts

為了裝 Agda，先用 MacPorts 裝 Alex（a lexer generator for Haskell）。然後就看著它裝了一堆 packages，現在竟然在裝 ghc（Glasgow Haskell Compiler），而且好像要從 6.4.1 開始 bootstrap！我之前自己裝的 ghc 不算數就對了 XD。

--
聽說編譯 ghc 只比 gcc 快一點，今晚大概不能用 PB 了 XD。

---

"Building ghc with target all"，現在風扇速度超過 900 rpm XD。

--
這數值對 PB 很高 XD。