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