feat(emacs): equational reasoning snippet

2025-11-23 07:30:27 -07:00
parent c945a7269e
commit fb571b3960
1 changed files with 7 additions and 0 deletions
--- a/modules/home/users/msyds/emacs/snippets/agda2-mode/Equational
+++ b/modules/home/users/msyds/emacs/snippets/agda2-mode/Equational
@@ -0,0 +1,7 @@
 # -*- mode: snippet -*-
 # name: Equational reasoning
 # key: eq
 # expand-env: ((yas-indent-line 'fixed))
 # --
 ? ≡⟨ ? ⟩
 ? ∎