<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi<div><br></div><div>I created a Google form to vote on the name...</div><div><br></div><div>Cheers</div><div><br></div><div>Marco</div><div><br></div><div><br><div><br><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>From: </b></span><span style="font-family:'Helvetica'; font-size:medium;"><a href="mailto:marcoxa@gmail.com">marcoxa@gmail.com</a><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>Date: </b></span><span style="font-family:'Helvetica'; font-size:medium;">February 16, 2011 9:58:50 AM GMT+01:00<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>To: </b></span><span style="font-family:'Helvetica'; font-size:medium;"><a href="mailto:marcoxa@cs.nyu.edu">marcoxa@cs.nyu.edu</a><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>Subject: </b></span><span style="font-family:'Helvetica'; font-size:medium;"><b>Names for the equality generic function</b><br></span></div><br>
<div><div class="ss-email-body" style="width:576px;">If you have trouble viewing or submitting this form, you can fill it out online:
<br>
<a href="https://spreadsheets.google.com/viewform?formkey=dDFZSTJ4OTlCTlNaQlc3YlhUNjAza1E6MQ" style="">https://spreadsheets.google.com/viewform?formkey=dDFZSTJ4OTlCTlNaQlc3YlhUNjAza1E6MQ</a><div><br class="webkit-block-placeholder"></div>
<div dir="ltr" style=""><div class="form-body" style=""><h1 class="ss-form-title" style="">Names for the equality generic function</h1><div><br class="webkit-block-placeholder"></div></div>
<div class="form-body" style=""><div class="ss-form" style=""><form action="https://spreadsheets.google.com/formResponse?formkey=dDFZSTJ4OTlCTlNaQlc3YlhUNjAza1E6MQ&ifq" method="POST" id="ss-form" style="">
<br>
<div class="errorbox-good" style="">
<div class="ss-item ss-item-required ss-radio" style=""><div class="ss-form-entry" style="margin-bottom:1.5em;zoom:1;"><label class="ss-q-title" for="entry_0" style="display:block;font-weight:bold;">What name should be used for the generic function "equality"?
<span class="ss-required-asterisk" style="color:#c43b1d;">*</span></label>
<label class="ss-q-help" for="entry_0" style="display:block;color:#666;margin:.1em 0 .25em 0;"></label>
<ul class="ss-choices" style="list-style:none;margin:.5em 0 0 0;padding:0;"><li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="EQUALITY" class="ss-q-radio" id="group_0_1" style="">
EQUALITY</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="EQUIV" class="ss-q-radio" id="group_0_2" style="">
EQUIV</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="EQUP" class="ss-q-radio" id="group_0_3" style="">
EQUP</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="EQUALS" class="ss-q-radio" id="group_0_4" style="">
EQUALS</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="==" class="ss-q-radio" id="group_0_5" style="">
==</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="EQUIVALENT" class="ss-q-radio" id="group_0_6" style="">
EQUIVALENT</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="AEQUALIS" class="ss-q-radio" id="group_0_7" style="">
AEQUALIS</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="SAMEP" class="ss-q-radio" id="group_0_8" style="">
SAMEP</label></li> <li class="ss-choice-item" style="margin:0;line-height:1.3em;padding-bottom:.5em;"><label class="ss-choice-label" style=""><input type="radio" name="entry.0.group" value="EQUIVP" class="ss-q-radio" id="group_0_9" style="">
EQUIVP</label></li>
</ul></div></div></div>
<br> <div class="errorbox-good" style="">
<div class="ss-item ss-text" style=""><div class="ss-form-entry" style="margin-bottom:1.5em;zoom:1;"><label class="ss-q-title" for="entry_1" style="display:block;font-weight:bold;">Sample Question 2
</label>
<label class="ss-q-help" for="entry_1" style="display:block;color:#666;margin:.1em 0 .25em 0;"></label>
<input type="text" name="entry.1.single" value="" class="ss-q-short" id="entry_1" style=""></div></div></div>
<br>
<input type="hidden" name="pageNumber" value="0" style="">
<input type="hidden" name="backupCache" style="">
<div class="ss-item ss-navigate" style=""><div class="ss-form-entry" style="margin-bottom:1.5em;zoom:1;">
<input type="submit" name="submit" value="Submit" style=""></div></div></form>
</div>
<div class="ss-footer" style=""><div class="ss-attribution" style=""></div>
<div class="ss-legal" style=""><span class="ss-powered-by" style="color:#666;">Powered by <a href="http://docs.google.com/" style="">Google Docs</a></span>
<span class="ss-terms" style="display:block;clear:left;margin:1em 0.2em 0.2em;"><small><a href="https://spreadsheets.google.com/reportabuse?formkey=dDFZSTJ4OTlCTlNaQlc3YlhUNjAza1E6MQ&source=https%253A%252F%252Fspreadsheets.google.com%252Fviewform%253Fformkey%253DdDFZSTJ4OTlCTlNaQlc3YlhUNjAza1E6MQ" style="">Report Abuse</a>
-
<a href="http://www.google.com/accounts/TOS" style="">Terms of Service</a>
-
<a href="http://www.google.com/google-d-s/terms.html" style="">Additional Terms</a></small></span></div></div></div></div>
<br>
<style type="text/css" media="screen" style="">
.form-body{display:none;}
</style></div></div></blockquote></div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div>--</div><div>Marco Antoniotti</div><br class="Apple-interchange-newline"></span>
</div>
<br></div></body></html>