Syntactic Confectionery Delight | |
PerlMonks |
Re: Should Pluto Get Its Planethood Back?by mr_mischief (Monsignor) |
on Mar 30, 2017 at 17:35 UTC ( [id://1186521]=note: print w/replies, xml ) | Need Help?? |
I propose a middle ground. Let's have "planets" include "dwarf planets". We can have "major planets" and "dwarf planets" and call them all "planets" when there's no reason to distinguish between the two.
In Section
Past Polls
|
|