[Agda] ICFP Programming Contest 2014
Nicolas Wu
nicolas.wu at cs.ox.ac.uk
Wed Jul 23 11:44:50 CEST 2014
=====================================================================
Call for Participation
The 17th ICFP Programming Contest
http://www.icfpcontest.org
Friday 25 July 2014 at 12:00 UTC
=====================================================================
The ICFP Programming Contest 2014 is starting at the end of this week!
It's nearly time to roll up your sleeves, and gain fame and glory for your
programming language of choice: prepare for sleepless nights and hours of fun!
The full details of the contest specification will appear on the contest
website at http://www.icfpcontest.org on Friday 25 July 2014 at 12:00 UTC.
No registration is required: just roll up and have some fun!
For more announcements, stay tuned on our twitter feed at:
https://twitter.com/icfpcontest2014
Good luck to all participants,
Nicolas Wu
More information about the Agda
mailing list