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

More than 1 year has passed since last update.


環境

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