Add idris deps

This commit is contained in:
Nathan McCarty 2022-10-26 17:07:30 -04:00
parent e49bfe0447
commit 55d1b50998
Signed by: thatonelutenist
GPG Key ID: D70DA3DD4D1E9F96
1 changed files with 5 additions and 2 deletions

View File

@ -72,8 +72,11 @@ with nLib; {
(mkIf devel.raku { home.packages = with pkgs; [ rakudo zef ]; })
# Idris 2 Development
(mkIf devel.idris2 {
home.packages = with pkgs;
[ inputs.idris2.packages."${pkgs.system}".idris2 ];
home.packages = with pkgs; [
inputs.idris2.packages."${pkgs.system}".idris2
chez
gmp
];
})
];
}