   (package-refresh-contents))
 ;; auto-complete
 (setq package-list '(adaptive-wrap company-ghc company-jedi epc esup flycheck-rust
-                     hindent intero jedi json-reformat dash magit
+                     hindent intero jedi json-reformat dash dante magit
                      nix-mode persistent-scratch sublime-themes tabbar
                      tss typescript-mode visual-fill-column sublimity
                      ripgrep projectile-ripgrep idris-mode elm-mode

    ("#dc322f" "#cb4b16" "#b58900" "#546E00" "#B4C342" "#00629D" "#2aa198" "#d33682" "#6c71c4")))
 '(package-selected-packages
   (quote
    (adaptive-wrap proof-general hasklig-mode string-inflection flycheck-elm add-node-modules-path tide groovy-mode idris-mode multi-term projectile-ripgrep package-build shut-up epl git commander f dash s)))
 '(pos-tip-background-color "#eee8d5")
 '(pos-tip-foreground-color "#586e75")
 '(projectile-generic-command

 '(fci-rule-color "#eee8d5")
 '(flx-ido-threshhold 6000000)
 '(flycheck-disabled-checkers (quote (haskell-ghc haskell-stack-ghc haskell-ghc)))
 '(frame-background-mode (quote light))
 '(global-visual-line-mode nil)
 '(grep-command "grep  -nH -e +")
 '(grep-find-command
