Agda-Librarys
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
* Agda Library の更新や追加 [#ib9d08d1]
** はじめに [#pd9ac22c]
- brew install している場合は brew に追加されたときの最新...
- version の確認は
head CHENGELOG.md;
- 現行のAgda(v2.6.1_1) が Library を確認するときは ~/.agd...
- librarys には std-lib などのライブラリのパスが、 defaul...
- hoge.agda-lib にはライブラリの名前と読み込み先(大抵はそ...
** 更新 [#m61678ea]
- ライブラリ(brew で入れたのであれば "/usr/local/Cellar/a...
git fetch;
git checkout;
git merge;
- レポジトリを最新のCommitに戻したいときは
git reset --hard
で良さそう
- 昔のバージョンや安定版に戻りたいときは
git checkout refs/tags/v1.2; # e.g. v1.2. check "git t...
で戻れる
** 追加 [#q18fd57a]
- 追加したいライブラリ tar で落として解凍、もしくは git c...
git clone https://github.com/agda/agda-stdlib;
cd agda-stdlib;
- "~/.agda/librarys" に 落としてきた library にある "hoge...
echo `pwd;ls *.agda-lib` >> ~/.agda/librarys;
- "~/.agda/defaults" に library name を追加
head -1 *.agda-lib | sed 's/name: // >> ~/.agda/default...
終了行:
* Agda Library の更新や追加 [#ib9d08d1]
** はじめに [#pd9ac22c]
- brew install している場合は brew に追加されたときの最新...
- version の確認は
head CHENGELOG.md;
- 現行のAgda(v2.6.1_1) が Library を確認するときは ~/.agd...
- librarys には std-lib などのライブラリのパスが、 defaul...
- hoge.agda-lib にはライブラリの名前と読み込み先(大抵はそ...
** 更新 [#m61678ea]
- ライブラリ(brew で入れたのであれば "/usr/local/Cellar/a...
git fetch;
git checkout;
git merge;
- レポジトリを最新のCommitに戻したいときは
git reset --hard
で良さそう
- 昔のバージョンや安定版に戻りたいときは
git checkout refs/tags/v1.2; # e.g. v1.2. check "git t...
で戻れる
** 追加 [#q18fd57a]
- 追加したいライブラリ tar で落として解凍、もしくは git c...
git clone https://github.com/agda/agda-stdlib;
cd agda-stdlib;
- "~/.agda/librarys" に 落としてきた library にある "hoge...
echo `pwd;ls *.agda-lib` >> ~/.agda/librarys;
- "~/.agda/defaults" に library name を追加
head -1 *.agda-lib | sed 's/name: // >> ~/.agda/default...
ページ名: