[Agda] 2.1.3 -Install

全程參照這一頁:
http://www.cs.chalmers.se/~ulfn/darcs/Agda2/README

使用的環境:
ubuntu-7.10
GHC-6.8.1

依序安裝下面的GHC package
binary-0.4.1
zlib-0.4.0.1 (部份linux要先安裝zlib1g-dev)
QuickCheck2.0
可以用"$ ghc-pkg -l"查詢現在已經有的pkg
可以去下列網站找所需要的
http://hackage.haskell.org/packages/archive/pkg-list.html

然後下載Agda..
一開始我是抓wiki上面的.tar.gz檔
但是build的時候一直說找不到"../../undefined.h"
後來是用darcs抓下來裝
(btw, darcs抓到的是2.1.3, 但是wiki上面只有2.1.2 .. =口=)
agda lib裝好以後
就把interpreter裝上去就結束了
詳情請參考readme檔

--
如果是GHC-6.1.1以前的版本
下面的lib都要用較早的版本
不然cabal不會過
binary-0.3
zlib-0.3 (部份linux要先安裝zlib1g-dev)
另外要幫GHC裝新版的src和mtl這兩個package
(QuickCheck的話我忘記有沒有要裝,舊版的agda好像不需要)
之後再裝agda即可