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.