feat(emacs): agda src block

2026-01-09 09:16:16 -07:00
parent e489c1ecd7
commit 9dd52ebedf
1 changed files with 7 additions and 0 deletions
--- a/modules/home/users/msyds/emacs/snippets/agda2-mode/Org
+++ b/modules/home/users/msyds/emacs/snippets/agda2-mode/Org
@@ -0,0 +1,7 @@
 # -*- mode: snippet -*-
 # name: Org source block
 # key: <src
 # --
 #+begin_src ${1:agda2}
 $0
 #+end_src