type-theory/flake.nix

{
  outputs = { self, nixpkgs, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
  let pkgs = import nixpkgs { inherit system; };
  in {
    devShell = pkgs.mkShell {};
  });
}