Closed sanderr closed 6 years ago
Extended the readme to include emacs counterparts to keybindings. I believe this will make agda-vim easier to use for people learning agda from a heavily emacs-based tutorial. Also added a table with commonly used utf8 bindngs to the README.
Extended the readme to include emacs counterparts to keybindings. I believe this will make agda-vim easier to use for people learning agda from a heavily emacs-based tutorial. Also added a table with commonly used utf8 bindngs to the README.