I just finished everything on natural number game. It is a fun exercise, the only serious advice (may not be correct or appropriate) I have is that add_left_eq_zero should make arguments explicit. Some other minor points: on level 2, Proposition world Gödel spelled wrong and level 10, advanced proposition, there is a missing right parenthesis.
kbuzzard
commented
4 years ago
Dear Kevin,
I just finished everything on natural number game. It is a fun exercise, the only serious advice (may not be correct or appropriate) I have is that add_left_eq_zero should make arguments explicit. Some other minor points: on level 2, Proposition world Gödel spelled wrong and level 10, advanced proposition, there is a missing right parenthesis.