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: add bindings for PFLA chapter "Induction"

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

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

@ -3,22 +3,30 @@
" (Link is dead so use wayback machine)
" Superscripts
imap <buffer> ^0 ⁰
imap <buffer> ^1 ¹
imap <buffer> ^2 ²
imap <buffer> ^3 ³
imap <buffer> ^4 ⁴
imap <buffer> ^5 ⁵
imap <buffer> ^6 ⁶
imap <buffer> ^7 ⁷
imap <buffer> ^8 ⁸
imap <buffer> ^9 ⁹
imap <buffer> ^+ ⁺
imap <buffer> ^- ⁻
imap <buffer> ^= ⁼
imap <buffer> ^( ⁽
imap <buffer> ^) ⁾
imap <buffer> ^n ⁿ
imap <buffer> \^0 ⁰
imap <buffer> \^1 ¹
imap <buffer> \^2 ²
imap <buffer> \^3 ³
imap <buffer> \^4 ⁴
imap <buffer> \^5 ⁵
imap <buffer> \^6 ⁶
imap <buffer> \^7 ⁷
imap <buffer> \^8 ⁸
imap <buffer> \^9 ⁹
imap <buffer> \^+ ⁺
imap <buffer> \^- ⁻
imap <buffer> \^= ⁼
imap <buffer> \^( ⁽
imap <buffer> \^) ⁾
imap <buffer> \^n ⁿ
imap <buffer> \^l ˡ
imap <buffer> \^r ʳ
imap <buffer> \' ′
imap <buffer> \'' ″
imap <buffer> \''' ‴
imap <buffer> \'''' ⁗
" Subscripts
imap <buffer> \_0 ₀