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