Closed ajwheeler closed 10 years ago
It might also be a good idea to (perhaps optionally) randomly permute player order, but I think this solves your TODO. I'm not sure if you would prefer to put the definition of rotate somewhere else.
Thank you!
It might also be a good idea to (perhaps optionally) randomly permute player order, but I think this solves your TODO. I'm not sure if you would prefer to put the definition of rotate somewhere else.