Agda を 2.4.0 にする

2014/06/05 に Agda 2.4.0 が Release されたみたいです。

けれど、Standard Library 0.7 の Release Note を見ると

2013–01–29: Version 0.7. README. Tested with Agda 2.3.2, Agda 2.3.2.1 and Agda 2.3.2.2. 

とのこと。Agda2.4 に対応してない。
ということで Standard Library を使うコードを実行してみると途中でエラー吐かれました。

なのでとりあえず Repository を直接もってくる。

$ git clone https://github.com/agda/agda-stdlib.git

それで agda2-include-dirs が通ってるところに配置。

私は

(setq agda2-include-dirs (mapcar (lambda (path) (expand-file-name path)) (file-expand-wildcards "~/Library/Agda2/*")))

とか設定していて、 ~/Library/Agda2 の下を全部 import できるようにしてます。

なので

$ cd ~/Library/Agda2
$ ln -s $HOME/files/build/agda/agda-stdlib/src `pwd`/agda-stdlib

とかしておしまい。

そして Standard Library なコードを実行すると通りました。めでたしめでたし。