{ description = "quox: quantitative extensional type theory";

  inputs = {
    flake-utils.url = "github:numtide/flake-utils";
    idris2-pkgs.url = "github:claymager/idris2-pkgs";
    nixpkgs.follows = "idris2-pkgs/nixpkgs";
  };

  outputs = { self, nixpkgs, idris2-pkgs, flake-utils }:
    let systems = [ "x86_64-darwin" "x86_64-linux" "i686-linux" ]; in
    flake-utils.lib.eachSystem systems (system:
      let
        pkgs = import nixpkgs {
          inherit system;
          overlays = [ idris2-pkgs.overlay ];
        };

        inherit (pkgs.idris2-pkgs._builders) idrisPackage;

        quox-lib   = idrisPackage ./lib   { };
        quox       = idrisPackage ./exe   { extraPkgs.quox-lib = quox-lib; };
        quox-tests = idrisPackage ./tests { extraPkgs.quox-lib = quox-lib; };
      in
      {
        packages = { inherit quox-lib quox quox-tests; };
        defaultPackage = quox;
      }
    );
}