hd/cfg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add devshells

Browse source
This commit is contained in:
Henri Dohmen 2025-10-26 10:32:39 +01:00
parent 2fce8c3c13
commit 2bb2a97377
Signed by: hd
GPG key ID: AB79213B044674AE
3 changed files with 18 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

6
devshells/default.nix Normal file
View file

@ -0,0 +1,6 @@
{ pkgs }:
{
agda = pkgs.mkShell {
buildINputs = with pkgs; [ agda ];
};
}