Agda interaction in vim