dotfiles/nixos/msi/modules/lean.nix

{ pkgs, config, ... }:

{
	home.sessionVariables = {
		ELAN_HOME = "${config.xdg.cacheHome}/elan";
	};

	home.packages = with pkgs; [
		elan
	];
}