[Agda] ICFP Programming Contest 2014

[Nicolas Wu]

=====================================================================
                      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