On 5/16/20 10:56 PM, Aris Merchant via agora-discussion wrote: >> *puts on pedantry hat* >> >> Isn't this an unordered list, rather than a set? > A list is defined by having an order. It's a multiset.
Oh, no, I have failed my pedantry hat. I must not let it live to see this disgrace. *puts pedantry hat in trash can* -- Jason Cobb