Text this: Constructive real analysis