nvim-agda
\f でエラーに移動できないことがある
normalize エラーが起きた時に、typed checked の状態が切れてしまう
normalize で環境を正しく再現できてない
\c で case を展開した時に、構文が少しおかしくなる
sub window を移動するコマンドが欲しい