natural-number-game

Solututions to the Natural Number Game

8a7fd7c6 — Pablo

Finished the final world

02138a0d — Pablo

Wrote down the solutions to the addition world

7cc38e35 — Pablo

Finished the power world

73420afa — Pablo

Finished two more worlds

edca2bdc — Pablo

Fixed typo in the filenames

0c28dc75 — Pablo

Renamed the mynat type to ℕ

fbeeea21 — Pablo

Initial commit