1 files changed, 6 insertions, 0 deletions
diff --git a/init.org b/init.org
index 85d5709..9192dff 100644
--- a/init.org
+++ b/init.org
@@ -1084,6 +1084,12 @@ TODO: break this giant source block down into individual org sections.
 #+end_src
 * Programming modes
 
+** Alloy
+
+#+begin_src emacs-lisp
+(use-package alloy-mode)
+#+end_src
+
 ** [[https://github.com/leanprover/lean-mode][Lean]]
 
 #+begin_src emacs-lisp