[gambit-list] ICFP Programming Contest 2014