natural-number-game

Solututions to the Natural Number Game

8a7fd7c6 — Pablo 31/12/2021 19:39

Finished the final world

02138a0d — Pablo 31/12/2021 15:39

Wrote down the solutions to the addition world

7cc38e35 — Pablo 31/12/2021 15:38

Finished the power world

73420afa — Pablo 30/12/2021 23:57

Finished two more worlds

edca2bdc — Pablo 30/12/2021 23:56

Fixed typo in the filenames

0c28dc75 — Pablo 30/12/2021 23:55

Renamed the mynat type to ℕ

fbeeea21 — Pablo 30/12/2021 01:32

Initial commit