[Agda] ICFP Programming Contest

[Wouter Swierstra]

This year's ICFP Programming Contest will begin on June 18th (12:00
Noon GMT) and will run till June 21st (12:00 Noon GMT). As in the
previous editions, this is your chance to show that your favorite
programming language is better than all others! The problem statement
and further information will become available at:

    http://icfpcontest.org/2010/

Feel free to contact ifcpcont at imn dot htwk-leipzig dot de for
further questions. Good luck,

  Wouter