   (local-set-key "\M-q" 'hindent-reformat-decl-or-fill)
   ;;(local-set-key "\C-c\C-c" 'haskell-compile)
   (define-key haskell-mode-map (kbd "C-c C-d") 'haskell-compile)
-  (define-key haskell-mode-map (kbd "C-c C-x") 'dante-restart)
+  ;; (define-key haskell-mode-map (kbd "C-c C-x") 'dante-restart)
+  (bind-key* (kbd "C-c C-x") 'dante-enable-or-restart)
   ;; (define-key haskell-process-cabal-build (kbd "C-c C-c") 'haskell-compile)
   ;; (local-set-key "\C-c\C-c" (lambda () (interactive) (haskell-compile)))
   ;; (intero-mode)

(autoload 'cubicaltt-mode "cubicaltt" "cubical editing mode" t)
(setq auto-mode-alist (append auto-mode-alist '(("\\.ctt$" . cubicaltt-mode))))

(load-file (let ((coding-system-for-read 'utf-8))
                (shell-command-to-string "agda-mode locate")))

(custom-set-variables
 ;; custom-set-variables was added by Custom.

(unless package-archive-contents
  (package-refresh-contents))
;; auto-complete
(setq package-list '(adaptive-wrap bind-key company-ghc company-jedi dhall-mode epc esup flycheck-rust
                     format-all hindent intero jedi json-reformat dash dante magit
                     nix-mode persistent-scratch sublime-themes tabbar
                     tss typescript-mode visual-fill-column sublimity
