diff --git a/spacemacs b/spacemacs
index 8ec6bfb..ff96a73 100644
--- a/spacemacs
+++ b/spacemacs
@@ -33,12 +33,13 @@
      scala
      latex
      finance
+     lua ; for lean
      )
    ;; List of additional packages that will be installed without being
    ;; wrapped in a layer. If you need some configuration for these
    ;; packages then consider to create a layer, you can also put the
    ;; configuration in `dotspacemacs/config'.
-   dotspacemacs-additional-packages '()
+   dotspacemacs-additional-packages '(dash-functional f mmm-mode)
    ;; A list of packages and/or extensions that will not be install and loaded.
    dotspacemacs-excluded-packages '()
    ;; If non-nil spacemacs will delete any orphan packages, i.e. packages that