From 604bf1796f7942c3c3f5b1fb7a2826b4bfad5bed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Sun, 23 Nov 2025 07:30:27 -0700
Subject: [PATCH] feat(emacs): agda open import snippet

---
 .../home/users/msyds/emacs/snippets/agda2-mode/open import   | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 modules/home/users/msyds/emacs/snippets/agda2-mode/open import

diff --git a/modules/home/users/msyds/emacs/snippets/agda2-mode/open import b/modules/home/users/msyds/emacs/snippets/agda2-mode/open import
new file mode 100644
index 0000000..e13d4b8
--- /dev/null
+++ b/modules/home/users/msyds/emacs/snippets/agda2-mode/open import	
@@ -0,0 +1,5 @@
+# -*- mode: snippet -*-
+# name: open import
+# key: oi
+# --
+open import 
\ No newline at end of file