2014/06/10

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 なコードを実行すると通りました。めでたしめでたし。