Agda Library の更新や追加 †
はじめに †
- brew install している場合は brew に追加されたときの最新版が入ってるはず(なので pull してレポジトリ更新すれば良いっぽい)
- version の確認は
head CHENGELOG.md;
- 現行のAgda(v2.6.1_1) が Library を確認するときは ~/.agda/librarys と "~/.agda/defaults" 、 あとそれぞれのライブラリ内にある hoge.agda-lib のファイルを見るっぽい
- librarys には std-lib などのライブラリのパスが、 defaults には hoge.agda-lib にかかれている name が列挙されてる
- hoge.agda-lib にはライブラリの名前と読み込み先(大抵はそのライブラリの src)が書かれてる
更新 †
- レポジトリを最新のCommitに戻したいときは
git reset --hard
で良さそう
追加 †
|