             shell-default-position 'bottom)
      spell-checking
      syntax-checking
+     version-control
      treemacs
-     version-control
      osx
      nixos
      github
-     (haskell :variables haskell-completion-backend 'dante)
+     haskell
      swift
      tidal
      gpu
-     urweb
-     (terraform :variables terraform-auto-format-on-save t)
+     ;; urweb
+     ;; (terraform :variables terraform-auto-format-on-save t)
      ns-playgrounds
+     ;; reasonml
+     agda
      )
 
    ;; List of additional packages that will be installed without being

   ;; (default '(100000000 0.1))
   dotspacemacs-gc-cons '(100000000 0.1)

   ;; If non-nil then Spacelpa repository is the primary source to install
   ;; a locked version of packages. If nil then Spacemacs will install the
   ;; latest version of packages from MELPA. (default nil)

   ;; portable dumper in the cache directory under dumps sub-directory.
   ;; To load it when starting Emacs add the parameter `--dump-file'
   ;; when invoking Emacs 27.1 executable on the command line, for instance:
   ;;   ./emacs --dump-file=$HOME/.emacs.d/.cache/dumps/spacemacs-27.1.pdmp
   ;; (default spacemacs-27.1.pdmp)
   dotspacemacs-emacs-dumper-dump-file (format "spacemacs-%s.pdmp" emacs-version)

   ;; If non-nil ELPA repositories are contacted via HTTPS whenever it's
   ;; possible. Set it to nil if you have no way to use HTTPS in your
