4 lines
88 B
Nix
4 lines
88 B
Nix
{ pkgs, ... }: {
|
|
home-manager.users.adrielus.home.packages = with pkgs; [ idris2 ];
|
|
}
|