msyds/sydnix
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(emacs): agda-input \\inv command

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2026-01-09 09:16:16 -07:00
parent 71b7eb8190
commit 635e12dafc
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
modules/home/users/msyds/emacs/lisp/syd/agda.el
View File

@@ -120,7 +120,9 @@
agda2-info-buffer) agda2-info-buffer)
(syd-handle 'agda2-mode (syd-handle 'agda2-mode
:docs #'syd-agda-lookup-documentation)) :docs #'syd-agda-lookup-documentation)
(setq agda-input-user-translations
'(("inv" "⁻¹"))))
(with-eval-after-load 'agda2-highlight (with-eval-after-load 'agda2-highlight
(set-face-attribute (set-face-attribute