½ cup of sharp cheddar, grated
½ cup of parmesan, grated
½ cup of jarlsberg, grated (if you don’t have access to jarlsberg, any mild-but-yummy cheese—young gouda, emmenthal, etc.—will work as a substitute)
4 tbsp (½ stick) butter, softened and cut into 4 pieces
¾ cup of flour
1½ tsp freshly-ground pepper
½ tsp kosher salt for dough, plus another 1 tsp for topping
1 tbsp half-and-half