萬歲！

Agda 裝成了！之前 binary-0.3 一直編不過，似乎是 gcc 有問題。剛剛我突然想到，我以前裝過比較新版的 gcc，說不定換成出廠原裝的 gcc 就可以了。果然如此！只見 binary-0.3 的 build 順利結束，接著兩個 zlib 也安裝完成，最後 Agda 與其 interpreter 也在漫長編譯後成功進駐 PB。鍵入 "agda" 跳出使用說明的那一刻真是太感人了！XD

--
可是 Agda 那些 unicode code 實在很擾人 XD。