1
Fork 0
satellite/modules/dev/lean.nix

6 lines
124 B
Nix
Raw Normal View History

{ pkgs, ... }: {
home-manager.users.adrielus.home.packages = with pkgs; [
unstable.elan # lean version manager
];
}