[gambit-list] ICFP 2013 Call for Participation