I kind of saw this as just a collection of neat programming puzzles and an accompanying paper about automatic solvers. Doesn't seem like they are trying to affe

I kind of saw this as just a collection of neat programming puzzles and an accompanying paper about automatic solvers. Doesn't seem like they are trying to affect the language itself in this case.