A notion of Cauchy net is introduced into 
the constructive theory of apartness spaces. 
It is shown that for a sequence in a metric 
space this notion is equivalent to the standard 
metric notion of Cauchy sequence. Applications 
of this notion are then given, culminating in a 
generalisation of Bishop's Lemma on locatedness.