summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--init.org38
-rw-r--r--straight/versions/default.el17
2 files changed, 35 insertions, 20 deletions
diff --git a/init.org b/init.org
index 1d6b1f9..d3f3a64 100644
--- a/init.org
+++ b/init.org
@@ -1303,18 +1303,6 @@ Automatically save place in each file.
(text-mode . abbrev-mode)))
#+end_src
-** =lisp-mode=
-
-#+begin_src emacs-lisp
-(use-feature lisp-mode
- :config
- (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
- (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
- (defun indent-spaces-mode ()
- (setq indent-tabs-mode nil))
- (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
-#+end_src
-
** Company
#+begin_src emacs-lisp
@@ -1378,15 +1366,28 @@ Automatically save place in each file.
#'endless/replace-quote))
#+end_src
-* COMMENT Programming modes
+* Programming modes
:PROPERTIES:
:CUSTOM_ID: programming-modes
:END:
+** Lisp
+
+#+begin_src emacs-lisp
+(use-feature lisp-mode
+ :config
+ (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
+ (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
+ (defun indent-spaces-mode ()
+ (setq indent-tabs-mode nil))
+ (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
+#+end_src
+
** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
#+begin_src emacs-lisp
(use-package alloy-mode
+ :straight (:host github :repo "dwwmmn/alloy-mode")
:defer t
:config (setq alloy-basic-offset 2))
#+end_src
@@ -1394,9 +1395,8 @@ Automatically save place in each file.
** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
#+begin_src emacs-lisp
-(use-package proof-site ; Proof General
- :defer t
- :load-path "lib/proof-site/generic/")
+(use-package proof-general
+ :defer t)
#+end_src
** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
@@ -1606,7 +1606,7 @@ instead.
("C-c l l" . hs-lint)))
#+end_src
-** Web dev
+** COMMENT Web dev
*** SGML and HTML
@@ -1733,7 +1733,7 @@ treemacs
:after (treemacs))
#+end_src
-** geiser
+** COMMENT geiser
#+begin_src emacs-lisp
(use-package geiser)
@@ -1743,7 +1743,7 @@ treemacs
(setq geiser-guile-load-path "~/src/git/guix"))
#+end_src
-** guix
+** COMMENT guix
#+begin_src emacs-lisp
(use-package guix
diff --git a/straight/versions/default.el b/straight/versions/default.el
index 2df0a79..33d04d1 100644
--- a/straight/versions/default.el
+++ b/straight/versions/default.el
@@ -1,14 +1,26 @@
-(("auto-compile" . "6ce4255ab9a0b010ef8414c5bd9a6d6d9eea012f")
+(("PG" . "f7cc8f1f76baf5e517e51f1db47510ed605064e8")
+ ("alloy-mode" . "0d05bdd10c77ec04c3d61eccf67e68c08284951f")
+ ("auto-compile" . "6ce4255ab9a0b010ef8414c5bd9a6d6d9eea012f")
("cl-lib" . "deb92588d9d83d46c4698936ea31c5f58d244f04")
+ ("company-mode" . "b696b3943d2a55aed937cb0ba971d6e29b2e3a8b")
+ ("dante" . "8d5e00d268aa37d91baaa675cead953e58f19c6d")
("dash.el" . "6514359b8606a6a9a94068ccd601fcd6379d6584")
+ ("diff-hl" . "2cddce48d472111f178da84d44656f92012aa64b")
("emacs-async" . "81dc034572e963550c5403a2b3c28047e46b4029")
("epkgs" . "3e2b3cbada81bdb5e9b3f4bf185c7258f656b021")
+ ("epl" . "78ab7a85c08222cd15582a298a364774e3282ce6")
("exec-path-from-shell" . "9bc0f4a762f16d488376fb52409c58239a86d75d")
("f.el" . "de6d4d40ddc844eee643e92d47b9d6a63fbebb48")
+ ("flycheck" . "baf96df4d1c3e61bf62f15fbea05a880d1e49e45")
+ ("flycheck-haskell" . "32ddff87165a7d3a35e7318bee997b5b4bd41278")
("ghub" . "db15d00d01b8bd9187079a0b538d878d241743a8")
("git.el" . "a3396a7027a7d986598c6a2d6d5599bac918f3da")
("gnu-elpa-mirror" . "db6dd0677f0adac536ec6c575865770aa902c0a1")
("graphql.el" . "e2b309689f4faf9225f290080f836e988c5a576d")
+ ("haskell-mode" . "4aa88752ab23bca3ded36a9c9fd9c34cffbb129b")
+ ("hlint-refactor-mode" . "92c69aa01c65968e86c15db087bb1ea785e4736c")
+ ("lcr" . "c14f40692292d59156c7632dbdd2867c086aa75f")
+ ("lean-mode" . "9d6b8471e2044310b4cd7cd3213b1fc8f78ec499")
("let-alist" . "4a7693b678c59a148660c736cc0bb26a5032ee9a")
("magit" . "d866fb3624bdeb87f0c56e359239e4474362d0af")
("magit-popup" . "8eaa0becc2370484a432a8a19f40ce5e8d0f1642")
@@ -16,8 +28,11 @@
("no-littering" . "4e7ecf017140bc522629cd2c977160f7cc2b8020")
("org" . "495c7c6a5774a4d3035c582a3b4c95eb04e83dd5")
("packed" . "c41c3dfda86ae33832ffc146923e2a4675cbacfa")
+ ("pkg-info.el" . "76ba7415480687d05a4353b27fea2ae02b8d9d61")
("s.el" . "03410e6a7a2b11e47e1fea3b7d9899c7df26435e")
+ ("seq" . "095fb15a3baa082079799dd36b6caccdb062cb90")
("straight.el" . "13d019dfc72e69cce58b510766e197b044ea823b")
+ ("swiper" . "201c5d78c4985fb803eb681cca0ccc5a4f90b717")
("treepy.el" . "b40e6b09eb9be45da67b8c9e4990a5a0d7a2a09d")
("use-package" . "39a8b8812c2c9f6f0b299e6a04e504ef393694ce")
("with-editor" . "9dd9f176d96abc60365369de6d08c26c414ef1f3"))