Text this: Constructivity in computer science :