Closed George-Miao closed 7 months ago
This PR adds flake.nix, which contains a devShell config that can be used by nix develop to configure proper develop environment.
nix develop
This PR adds flake.nix, which contains a devShell config that can be used by
nix develop
to configure proper develop environment.