idr2nix (cargo): Generate a Nix flake from an Idris 2 package
Keywords: nix|idris