[Agda] ICFP 2010 deadline

[Wouter Swierstra]

On behalf of Stephanie Weirich, this year's PC Chair, I would like to
emphasize that the deadline for ICFP this year is at *14:00 UTC*. You
may want to double check what time this is using the following link:

  http://www.timeanddate.com/worldclock/fixedtime.html?day=2&month=4&year=2010&hour=14&min=0&sec=0&p1=0

Submission is already open through: http://icfp2010.seas.upenn.edu/

All the best,

 Wouter