Text this: Constructive theory of functions :