<div dir="auto"><div style="max-height:999999px;color:rgb(59,63,68);font-family:roboto,helveticaneue,arial,sans-serif;font-size:14px;background-color:rgb(205,206,209)" dir="auto"><div style="max-height:999999px"><div style="max-height:999999px"><div style="max-height:999999px"><div style="max-height:999999px;padding-top:10px;min-height:20px"><i style="max-height:999999px"><span style="max-height:999999px">noun</span></i></div><div style="max-height:999999px;height:20px"><span style="max-height:999999px;line-height:20px">/<span style="max-height:999999px">ˈd(y)o͞opləkət</span>/</span></div></div></div><ol style="max-height:999999px;margin:0px;padding:0px 0px 0px 20px"><li style="max-height:999999px;margin:0px;padding:0px;list-style:none"><div style="max-height:999999px"><div style="max-height:999999px;line-height:20px;padding-top:8px"><div style="max-height:999999px"><div style="max-height:999999px;float:left"><span style="max-height:999999px">1</span>.</div><div style="max-height:999999px;margin-left:20px"><div style="max-height:999999px;line-height:20px;font-size:small"><div style="max-height:999999px;display:inline"><span style="max-height:999999px">one of two or more identical things.</span></div><div style="max-height:999999px"><div style="max-height:999999px;color:rgb(112,117,122)!important">"books may be disposed of if they are duplicates"</div></div></div></div></div><div style="max-height:999999px;margin-left:20px"><div style="max-height:999999px"><ul style="max-height:999999px;margin:0px;padding:0px"></ul></div></div></div></div></li><li style="max-height:999999px;margin:0px;padding:0px;list-style:none"><div style="max-height:999999px"><div style="max-height:999999px;line-height:20px;padding-top:8px"><div style="max-height:999999px"><div style="max-height:999999px;float:left"><span style="max-height:999999px">2</span>.</div><div style="max-height:999999px;margin-left:20px"><div style="max-height:999999px;line-height:20px;font-size:small"><div style="max-height:999999px;display:inline"><span style="max-height:999999px">short for </span><span style="max-height:999999px;color:rgb(55,114,194)">duplicate bridge</span><span style="max-height:999999px">.</span></div></div></div></div><div style="max-height:999999px;margin-left:20px"></div></div></div></li><li style="max-height:999999px;margin:0px;padding:0px;list-style:none"></li></ol></div></div><div style="max-height:999999px;font-family:roboto,helveticaneue,arial,sans-serif;font-size:14px;background-color:rgb(205,206,209)" dir="auto"><div style="max-height:999999px"><div style="color:rgb(59,63,68);max-height:999999px"><div style="max-height:999999px;display:inline-block;float:left;margin-right:8px;padding-top:14px;outline:0px"><div style="max-height:999999px;width:32px;height:32px;padding:8px"><div style="max-height:999999px;width:30px;height:30px;border-radius:50%;border-width:1px;border-style:solid;border-color:rgb(127,133,137)"></div><div style="max-height:999999px;width:30px;height:30px;border-radius:50%;border-width:1px;border-style:solid;border-color:rgb(29,58,105);background-color:rgb(41,83,151)"></div><div style="max-height:999999px;height:20px;margin:6px;width:20px"></div><div style="max-height:999999px;height:20px;margin:6px;width:20px"></div><div style="max-height:999999px;height:20px;margin:6px;width:20px"></div></div></div><div style="max-height:999999px"><div style="max-height:999999px;padding-top:10px;min-height:20px"><i style="max-height:999999px"><span style="max-height:999999px">verb</span></i></div><div style="max-height:999999px;height:20px"><span style="max-height:999999px;line-height:20px">/<span style="max-height:999999px">ˈd(y)o͞opləˌkāt</span>/</span></div></div></div><ol style="color:rgb(59,63,68);max-height:999999px;margin:0px;padding:0px 0px 0px 20px"><li style="max-height:999999px;margin:0px;padding:0px;list-style:none"><div style="max-height:999999px"><div style="max-height:999999px;line-height:20px;padding-top:8px"><div style="max-height:999999px"><div style="max-height:999999px;margin-left:20px"><div style="max-height:999999px;line-height:20px;font-size:small"><div style="max-height:999999px;display:inline"><span style="max-height:999999px">make or be an exact copy of.</span></div><div style="max-height:999999px"><div style="max-height:999999px;color:rgb(112,117,122)!important">"they have not been able to duplicate his successes"</div></div></div></div></div></div></div></li></ol></div></div><br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">duplicate is a verb which means to make a copy of something. this is the definition I have in mind when I see</div><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">dup :: a -> (a, a)</div><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">Of course the root of duplicate itself means two, but duplicate the verb does not mean two.</div><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">Anyway, I'm not really interested in having more than 3 or 4, since that's where you should have a datatype. And my interest for 3 and 4 is already very low. </div><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">On Thu, Sep 17, 2020, 15:29 Matthew Farkas-Dyck <<a href="mailto:strake888@gmail.com">strake888@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 9/17/20, chessai <<a href="mailto:chessai1996@gmail.com" target="_blank" rel="noreferrer">chessai1996@gmail.com</a>> wrote:<br>
> to mean 'duplicate', not the number two<br>
<br>
'duplicate' means 2.<br>
</blockquote></div></div>