Rational points on curves over function fields