Files
nix-dotfiles/home-manager/modules/agda.nix
2024-04-12 20:33:50 +01:00

8 lines
84 B
Nix

{pkgs, ...}: {
imports = [./emacs.nix];
home.packages = [
pkgs.agda
];
}