LoginSignup
1

More than 5 years have passed since last update.

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

Last updated at Posted at 2017-11-21

環境

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

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
1