diff options
| -rw-r--r-- | config/doom/config.org | 6 | ||||
| -rw-r--r-- | config/doom/init.el | 2 | ||||
| -rw-r--r-- | home-dots/dot-zshrc | 1 |
3 files changed, 2 insertions, 7 deletions
diff --git a/config/doom/config.org b/config/doom/config.org index 8139d59..1153a9d 100644 --- a/config/doom/config.org +++ b/config/doom/config.org @@ -271,12 +271,6 @@ this new window. (package! hindent) #+end_src #+begin_src emacs-lisp -(after! haskell-mode - (setq haskell-process-args-cabal-repl - '("--ghc-option=-ferror-spans" - "--ghc-options=-dynamic") - dante-repl-command-line '("cabal" "v2-repl" dante-target "--ghc-options=-dynamic"))) - (use-package! hindent :hook (haskell-mode . hindent-mode)) #+end_src diff --git a/config/doom/init.el b/config/doom/init.el index 5ba67ea..15518b3 100644 --- a/config/doom/init.el +++ b/config/doom/init.el @@ -131,7 +131,7 @@ ;;fstar ; (dependent) types and (monadic) effects and Z3 ;;gdscript ; the language you waited for ;;(go +lsp) ; the hipster dialect - (haskell +dante) ; a language that's lazier than I am + (haskell +lsp) ; a language that's lazier than I am ;;hy ; readability of scheme w/ speed of python ;;idris ; a language you can depend on ;;json ; At least it ain't XML diff --git a/home-dots/dot-zshrc b/home-dots/dot-zshrc index 582508e..e521ca7 100644 --- a/home-dots/dot-zshrc +++ b/home-dots/dot-zshrc @@ -124,3 +124,4 @@ alias mykeys='setxkbmap -I~/.config/xkb/ oscar -option caps:escape -print | xkbc export PATH="$HOME/.cargo/bin:$PATH" if [ -e /home/titan/.nix-profile/etc/profile.d/nix.sh ]; then . /home/titan/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer +[ -f "/home/titan/.ghcup/env" ] && source "/home/titan/.ghcup/env" # ghcup-env |