Hi

I created a Google form to vote on the name...

Cheers

Marco



Begin forwarded message:

From: marcoxa@gmail.com
Date: February 16, 2011 9:58:50 AM GMT+01:00
To: marcoxa@cs.nyu.edu
Subject: Names for the equality generic function

If you have trouble viewing or submitting this form, you can fill it out online:
https://spreadsheets.google.com/viewform?formkey=dDFZSTJ4OTlCTlNaQlc3YlhUNjAza1E6MQ

Names for the equality generic function







--
Marco Antoniotti