diff options
author | rsiddharth <s@ricketyspace.net> | 2020-07-03 15:44:24 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2020-07-03 15:44:24 -0400 |
commit | 27aef5ad656b1a08edff51d26931b633fd81f553 (patch) | |
tree | e98d378b08559bad4020aa36ffe1dc5875501ce8 /.gitignore | |
parent | f8d93a3fb709e737fd684c03199fe545c571e322 (diff) |
fourteen/server.rkt: Update serialize-players-for
Use foldr instead of foldl.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions