in Antarctica

いろんなメモ

2018-10-31から1日間の記事一覧

neovimでcoq環境

neovim上にcoqの環境を整えます 基本的にはこちらの記事を見るとよくわかると思います. 僕の場合のハマったところを詳細に記述していこうと思います. coquilleを導入する dein.vimを使って以下のプラグインを追加します the-lambda-church/coquille vimbufsy…