{ config, pkgs, ... }:
{
  home.packages = with pkgs; [
     elan
   ];
}

      exec ${lib.escapeShellArg "${eask}/bin/eask"} ${lib.escapeShellArgs easkConfigArgs} emacs "$@"

      exec ${lib.escapeShellArg "${emacs}/bin/emacs"} "$@"

  '';

    '';

            rm -f "$GEN_DIR/init.el" "$GEN_DIR/early-init.el" || true

          # rm -f "$GEN_DIR/init.el" "$GEN_DIR/early-init.el" || true

          echo "[eask] done"
          ln -s $EMACSDIR/init.el $GEN_DIR/init.el 

          echo "[eask] done" 

    ./modules/lean.nix

    nixgl

    emacs-overlay = {
      url = "github:nix-community/emacs-overlay";
      inputs.nixpkgs.follows = "nixpkgs";
    };

(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(package-selected-packages
   '(dashboard easky ellsp embark-consult evil-collection evil-commentary
	       evil-surround haskell-mode idris2-mode marginalia
	       nix-mode orderless package-build stimmung-themes
	       vertico)))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 )