This commit is contained in:
parent
4d1ca919ef
commit
b8fc3da28c
@ -134,7 +134,7 @@ end
|
||||
|
||||
## Safety
|
||||
- If a game state exists, then it was created by a user
|
||||
- The game state can not divert.
|
||||
- The game state cannot divert.
|
||||
|
||||
## Liveness
|
||||
- Eventually all users will have the same game state
|
||||
|
Reference in New Issue
Block a user