primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2026-02-01 14:39:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nvim/agda: document how to find new symbols

Browse source
This commit is contained in:
Primrose 2026-01-25 15:24:17 +01:00
parent d2ebdb0073
commit e538cf1fdf
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.config/nvim/ftplugin/agda.vim
View file

@ -2,6 +2,9 @@
" https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.VIMEditing#:~:text=agda%2Dutf8%2Evim " https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.VIMEditing#:~:text=agda%2Dutf8%2Evim
" (Link is dead so use wayback machine) " (Link is dead so use wayback machine)
" To add more
" https://www.compart.com/en/unicode/
" Superscripts " Superscripts
imap <buffer> \^0 ⁰ imap <buffer> \^0 ⁰
imap <buffer> \^1 ¹ imap <buffer> \^1 ¹