Computing with Infinite Objects: the Gray Code Case (Logical Methods in Computer Science, 2023)