   "Return nvm current bin path"
   (concat nvm-dir "/versions/node/" (nvm-version nvm-dir) "/bin"))
 
+
 (defconst default-snapshot-dir (expand-file-name "snapshots" user-emacs-directory))
 (setq create-lockfiles nil)
 


(use-package rmsbolt :quelpa (rmsbolt :fetcher gitlab :repo "jgkamat/rmsbolt"))
(use-package tla-pcal-mode :quelpa (tla-pcal-mode :fetcher github :repo "mrc/tla-tools"))
(use-package proof-general :pin melpa :ensure t)
(use-package wat-mode :quelpa (wat-mode :fetcher github :repo "devonsparks/wat-mode"))
(use-package plantuml-mode :ensure t :pin melpa)
(use-package flycheck-plantuml :ensure t :pin melpa)

(use-package org :pin melpa
  :ensure t

            (concat (getenv "HOME") "/.cargo/bin")
            (concat (getenv "HOME") "/.opam/4.09.0+fp+flambda/bin")
            (concat (getenv "HOME") "/.local/bin")
            "/opt/dotty/current/bin"
            (concat (getenv "HOME") "/.local/share/coursier/bin")
            (nvm-bin-path nvm-dir)))

