greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update comment about which worlds are here/coming.

Browse Source
This commit is contained in:
Kevin Buzzard
2023-10-28 12:54:38 +01:00
parent a851a29928
commit 9baabe570d
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
Game.lean
View File

@@ -39,9 +39,11 @@ those who read the help texts like this one.
To start, click on \"Tutorial World\".
Note: this is a preliminary new Lean 4 version of the game; new versions
of inequality and advanced addition/multiplication worlds are in preparation.
Other brand new worlds will also be appearing during October 2023.
Note: this is a new Lean 4 version of the game containing several
worlds which were not present in the old Lean 3 version. A new version
of Advanced Multiplication World is in preparation, and worlds
such as Prime Number World and more will be appearing during October and
November 2023.
## More