3 ms·
"Names cause errors" doesn't automatically imply "removing names makes the program easier to generate or reason about"
by MarceliusK 5mo ago
"Names cause errors" doesn't automatically imply "removing names makes the program easier to generate or reason about"