Comment by MarceliusK

4 hours ago

"Names cause errors" doesn't automatically imply "removing names makes the program easier to generate or reason about"

0 comments