neovim での Agda の使い方
Menu
brew install neovim brew install lua@5.1 luarocks install --lua-version 5.1 luautf8さらに、
sudo rsync -av ~/.luarocks/lib/lua/5.1 /usr/local/lib/luaとします。
pathgen で vim の plugin を管理
mkdir -p ~/.config/nvim/autoload ~/.config/nvim/bundle curl -LSso ~/.config/nvim/autoload/pathogen.vim https://tpo.pe/pathogen.vimnvim-agda を入れる
mkdir -p ~/.config/nvim/pack/plugins/start cd ~/.config/nvim/pack/plugins/start ; git clone https://github.com/ashinkarov/nvim-agda~/.config/nvim を作り、
set runtimepath^=~/.vim runtimepath+=~/.vim/after let &packpath = &runtimepath let maplocalleader = "," au BufNewFile,BufRead *.agda setf agdaまだ、少し bug があるし、色がおかしいが、そのあたりは適当に修正
使い方
maplocalleader が "," なので、,l load 証明のチェック ,, 穴にカーソルを合わせて、そこの Goal と環境を調べる Pop up が出る ,q Pop up を消す ,n normalize 項を評価 ,c data match を展開
Unicode の入力
,to → ,bn ℕREADME.md とか ~/.config/nvim/pack/plugins/start/nvim-agda/agda-input.vim を見て
色を変えたい
:colorscheme zellnerとかでいろいろ試してみる。変更したければ、それらを、
cp /opt/homebrew/Cellar/neovim/0.6.1/share/nvim/runtime/colors/zellner.vim ~/.config/nvim/colorsにコピーしてから修正。
neovim の色は、:highl で確認して、zellner.vim の
hi Todo term=standout ctermbg=LightRed ctermfg=Black guifg=Blue guibg=Yellowとかで変更すれば良い。