flake.nix

{
  description = "Emacs with just Agda mode and practically nothing else.";

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
    flake-parts.url = "github:hercules-ci/flake-parts";
  };

  outputs =
    inputs:
    let
      inherit (inputs) self flake-parts;
      inherit (self.lib) makeOverridable;
    in
    flake-parts.lib.mkFlake { inherit inputs; } (top: {
      systems = [
        "x86_64-linux"
      ];
      imports = [
        ./lib.nix
      ];
      perSystem =
        { pkgs, ... }:
        {
          devShells.default = pkgs.mkShell {
            buildInputs = [
              pkgs.agda # For testing
            ];
          };
          packages = rec {
            just-agda = makeOverridable (import ./package.nix) { inherit pkgs; };
            default = just-agda;
          };
        };
    });
}