diff options
| author | Leonardo Santiago <[email protected]> | 2025-06-24 13:16:36 -0300 |
|---|---|---|
| committer | Leonardo Santiago <[email protected]> | 2025-06-24 13:16:36 -0300 |
| commit | 86c10fcefc6f91fa1960a626715a7d04e7013ba0 (patch) | |
| tree | 5d2a582070b38784073a33a7a2aedf3368310694 /modules/emacs | |
| parent | dc7c7ab3f38eb3fe10b6e16f38a27d80952789d6 (diff) | |
fix: update a ton of things
Diffstat (limited to 'modules/emacs')
| -rw-r--r-- | modules/emacs/README.org | 14 | ||||
| -rw-r--r-- | modules/emacs/package.nix | 1 |
2 files changed, 14 insertions, 1 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index a8c2572..d18d109 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -246,7 +246,8 @@ Completion popup system #+end_src ** Vterm #+begin_src emacs-lisp :tangle yes -(use-package vterm) +(use-package vterm + :custom (vterm-shell "/run/current-system/sw/bin/nu")) #+end_src ** Compilation Add support for ansi escape codes in compilation @@ -308,6 +309,17 @@ Try to use the package. (use-package markdown-mode :mode "\\.md\\'") #+end_src + +** OCaml +#+begin_src emacs-lisp :tangle yes +(use-package tuareg) +#+end_src + +** Haskell +#+begin_src emacs-lisp :tangle yes +(use-package haskell-ts-mode) +#+end_src + ** Coq #+begin_src emacs-lisp :tangle yes (use-package proof-general diff --git a/modules/emacs/package.nix b/modules/emacs/package.nix index 2b1a67c..d142cff 100644 --- a/modules/emacs/package.nix +++ b/modules/emacs/package.nix @@ -31,6 +31,7 @@ in tree-sitter-rust tree-sitter-python tree-sitter-nix + tree-sitter-haskell ])) ] ++ outside-emacs; } |