diff --git a/.config/nvim/ftplugin/agda.vim b/.config/nvim/ftplugin/agda.vim index 9038d60a..6a5dbec8 100644 --- a/.config/nvim/ftplugin/agda.vim +++ b/.config/nvim/ftplugin/agda.vim @@ -2,6 +2,9 @@ " https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.VIMEditing#:~:text=agda%2Dutf8%2Evim " (Link is dead so use wayback machine) +" To add more +" https://www.compart.com/en/unicode/ + " Superscripts imap \^0 ⁰ imap \^1 ¹