agda-vim python3 on neovim 動きました

neovim で .vimrc を外したらなんか動きました。偉いじゃん。なんか、

　　Y が効かないんですけど

いろいろだめ

　　最初の reload に真っ白な画面が10秒
　　default の色付けがピンクベース
　　Unicodeの入力が emacs のと異なる(致命的じゃん...)
　　,n での eval で bad index みたいなエラーがでる

ひどい。まぁ、でも、Emacs/viper は、それはそれで問題なので。こっちは、がんばればなおせそう。

色付けは結局 zellner base で少し変更して逃げました。

Agda の方も、無限ループ避けはだいたいわかったので、まぁ、なんとかなるんじゃないかな。

base はこれです。

　　pip3 install pynvim

が必要。

https://github.com/tc-0/agda-vim.git