Vim
Coq

vimでCoqを使えるようにする

環境

OS: MacOS High Sierra
neovim: v0.2.0

deinを使ってインストールしています。

インストールするもの

インストール

dein_lazy.toml
[[plugins]]
repo = "let-def/vimbufsync"
on_ft = "coq"

[[plugins]]
repo = "the-lambda-church/coquille"
on_ft = "coq"
depends = ["vimbufsync"]
hook_source = """
  nmap <silent> <C-c><C-l> :CoqLaunch<CR>
  nmap <silent> <C-c><C-n> :CoqNext<CR>
  nmap <silent> <C-c><C-u> :CoqUndo<CR>
  nmap <silent> <C-c><C-c> :CoqToCursor<CR>
"""

coquilleをインストールしても動かなくてREADMEをみるとvimbufsyncと言うものが必要らしかった。
なのでdependsにvimbufsyncを指定してインストール
キーマッピングは各自の好みにおまかせします。

READMEに進められていたのは

" Maps Coquille commands to <F2> (Undo), <F3> (Next), <F4> (ToCursor)
au FileType coq call coquille#FNMapping()

だったけど、やってみるとF3とか押しにくいなあと思ったので変えてみたけど、今のも微妙かも
何かおすすめのキーマッピングがあれば教えてください

スクショはこんな感じです
スクリーンショット 2017-11-21 18.39.02.png