 (unless package-archive-contents
   (package-refresh-contents))
 ;; auto-complete
-(setq package-list '(adaptive-wrap company-ghc company-jedi epc esup flycheck-rust
-                     hindent intero jedi json-reformat dash dante magit
+(setq package-list '(adaptive-wrap 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
                      ripgrep projectile-ripgrep idris-mode elm-mode

 '(ripgrep-arguments (quote ("-M200")))
 '(safe-local-variable-values
   (quote
    ((dante-repl-command-line "stack" "repl" "--ghc-options=\"-fno-code\"" dante-target)
     (dante-repl-command-line "stack" "repl" "--ghc-options=\"-j -fno-code -fobject-code\"" dante-target)
     (dante-repl-command-line "stack" "repl" dante-target)
     (dante-repl-command-line quote

    ("#dc322f" "#cb4b16" "#b58900" "#546E00" "#B4C342" "#00629D" "#2aa198" "#d33682" "#6c71c4")))
 '(package-selected-packages
   (quote
    (ormolu dhall-mode format-all dante 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
