Text this: Foundations of constructive analysis