[Agda] ICFP Programming Contest

Wouter Swierstra icfp.publicity at googlemail.com
Fri Jun 4 08:35:31 CEST 2010


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


More information about the Agda mailing list