[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