From 9dd52ebedf66111ed4bde37d8fde3a857480c2a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Fri, 9 Jan 2026 09:16:16 -0700
Subject: [PATCH] feat(emacs): agda src block

---
 .../users/msyds/emacs/snippets/agda2-mode/Org source block | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 modules/home/users/msyds/emacs/snippets/agda2-mode/Org source block

diff --git a/modules/home/users/msyds/emacs/snippets/agda2-mode/Org source block b/modules/home/users/msyds/emacs/snippets/agda2-mode/Org source block
new file mode 100644
index 0000000..2b74f3a
--- /dev/null
+++ b/modules/home/users/msyds/emacs/snippets/agda2-mode/Org source block	
@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# name: Org source block
+# key: <src
+# --
+#+begin_src ${1:agda2}
+$0
+#+end_src