Agda

Agda のインストール for Mac OS X (Leopard & Snow Leopard) が成功したので、メモ。

• haskell-platform を入れる。

MacPorts から入るのは古いらしいので、本家から。

http://hackage.haskell.org/platform/mac.html

• cabal 実行

cabal update
cabal install Agda-executable

• .emacs 編集

(load-file "/Users/hoge/.cabal/share/Agda-2.2.8/emacs-mode/agda2.el")

# hoge のところは変更。

• 標準ライブラリを持ってくる

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary

から Version 0.4 をダウンロード・展開。

• emacs を立ち上げる

M-x agda2-mode

で agda-mode になる。(M は esc キー)

M-x customize-mode

を実行すると、編集画面になる。

• Agda2 Include Dirs の右の Show Value ボタンをクリック。
• INS だけの行の INS をクリック (一番上の INS DEL の行は変更しない)
• 新しく出て来たボックスにダウンロードしたライブラリへのパスを入力

/Users/hoge/.cabal/share/Agda-2.2.8/lib-0.4/src

とか。

# hoge のところは変更。

入力したら、上のほうにある Save for Future Sessions のボタンをクリック。

これで Agda で遊べる :)