Update game.idr