16 Feb
2011
16 Feb
'11
10:02 a.m.
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=dDFZSTJ4OTlCTlNaQlc3YlhUNjA...
-- Marco Antoniotti