Kapustin and Witten have proposed a gauge theory interpretation of the Geometric Langlands program. I will discuss a set of tools which can be used to translate gauge theory constructions into concrete mathematical statements.