diff options
| author | Amin Bandali <amin@aminb.org> | 2018-07-04 21:27:48 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-07-04 21:27:48 -0400 |
| commit | 221cdaa3dff94b6db1a8a412c8ea82c842fa5571 (patch) | |
| tree | 9dc1eefd4b5648d0e8f09baab4b153e94695b741 /init.org | |
| parent | f82046d8e19313a1ce3d7320754dde3d34672d80 (diff) | |
| download | configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.tar.gz configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.tar.xz configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.zip | |
[emacs] add alloy-mode
Diffstat (limited to '')
| -rw-r--r-- | init.org | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |