Text this: Computing with Infinite Objects: the Gray Code Case