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

10 lines
143 B
Nix
Raw Permalink Normal View History

2021-07-18 01:58:38 +02:00
{ pkgs, ... }: {
2022-05-11 23:11:54 +02:00
home-manager.users.adrielus = {
home.packages = with pkgs; [
idris2
idris2-pkgs.lsp # idris2
];
};
2021-07-18 01:58:38 +02:00
}