diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 3 | ||||
| -rw-r--r-- | init.org | 6 | ||||
| m--------- | lib/alloy-mode | 0 |
3 files changed, 9 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index b85b7df..2742309 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,9 @@ [borg] pushDefault = aminb collective = emacsg +[submodule "alloy-mode"] + path = lib/alloy-mode + url = git@github.com:anlun/alloy-mode.git [submodule "async"] path = lib/async url = git@github.com:jwiegley/emacs-async.git @@ -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 diff --git a/lib/alloy-mode b/lib/alloy-mode new file mode 160000 +Subproject 76d9e1d57cee46bb9caa80b721a6d0bafed1ddf |