From 468651caf1974d2fc443e52d4d1b4a84d74e5cde Mon Sep 17 00:00:00 2001 From: cannorin <13620400+cannorin@users.noreply.github.com> Date: Sat, 15 Feb 2025 02:09:19 +0900 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index fcbcd10..be65a9c 100644 --- a/README.md +++ b/README.md @@ -18,7 +18,8 @@ This project was created using `bun init` in bun v1.1.33. [Bun](https://bun.sh) ## Rules -* A Kripke frame with 4 worlds are generated, +* A Kripke frame with 4 worlds is generated. +* The game tells you how many accessibility relations are in the frame, but *not* the exact shape of it. * You have a total of 10 moves. In each move you can do one of the following: - Enter a modal formula. - The game tells you in how many worlds the formula is valid (for every valuation).