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.vim

nvim-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

とかで変更すれば良い。


Shinji KONO / Sat Jun 25 10:11:33 2022