Text this: Essays in Constructive Mathematics