nvim-agda の続き

結局、lua5.1/utf8lua を nvim が要求する場所に rsync でコピって動きました。

　　思ったよりは速い

agda-vim と微妙にコマンドとUIが違う。

　　,l で load した後に、Goalで ,, すると、pop up が出る

なるどね。この pop up が適当なところに出て ,q で明示的に消す必要がある。これはうざい。
pop up の移動コマンドは見つけられなかった。

あと、

　　Unicode 入力の問題
　　Don't know how to handle JumpToError :: { とかが error 時に出る

ってのが残っているようだな。

実用的かどうかは割と微妙。自分の趣味としては、

　　別な terminal 画面に goal と error を出して欲しい感じ

でもいけるかも。なので、どうも

　　neovim に全面移行

ってことになるっぽいです。neovim の doument でも読むか?