Snake Synthesis

play a game of Snake that was synthesized using TSL!