A quantitative framework of firm dynamics is developed where the size of the informal sector is determined by financial constraints and the burden of taxation. Improving access to credit for formal sector firms increases aggregate TFP and output while reducing the size of the informal sector....