ホーム エクスプローラ ヘルプ
サインイン
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
ファイル 課題 0 プルリクエスト 0 Wiki
ブランチ: js_amd
ブランチ タグ
agda
/
.github
Andreas Abel ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman 3 年 前
..
workflows ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman 3 年 前
check_agda.sh a31ddccbbd [ workflow ] Tweak the nightly build workflow 4 年 前
install_agda_user.bat 09c5c3891c [ #4244 ] Separated Emacs & Agda installation 5 年 前
install_emacs_mode.bat 09c5c3891c [ #4244 ] Separated Emacs & Agda installation 5 年 前
install_emacs_mode.sh 09c5c3891c [ #4244 ] Separated Emacs & Agda installation 5 年 前