feat(emacs): agda open import snippet

2025-11-23 07:30:27 -07:00
parent 2f22349049
commit 604bf1796f
1 changed files with 5 additions and 0 deletions
--- a/modules/home/users/msyds/emacs/snippets/agda2-mode/open
+++ b/modules/home/users/msyds/emacs/snippets/agda2-mode/open
@@ -0,0 +1,5 @@
+# -*- mode: snippet -*-
+# name: open import
+# key: oi
+# --
+open import