Weak K\"{o}nig's lemma implies the uniform continuity theorem: a direct   proof
  We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem. 
Matthew Hendtlass
math.LO