The contest hosts 7 challenges ranging from algorithms to logics.
Problem Setters Pavel Lepin, Grant Boudreaux, Jaydeep Solanki, Lalit Kundu, Tusshar Singh and Abhiranjan.
Problem Testers Alex, Lalit Kundu, Tusshar Singh, Ashutosh Singla and Abhiranjan.
Languages allowed: Haskell, Scala, Lisp, Erlang, Clojure, OCaml and F#.
Lambda Calculi June'14 had a whopping 201 participants out of 1203 who signed up for the contest and made 1121 submissions in total
Fastest Solver: anta in 5 hours and 13 minutes
Most Accurate Solver: anta, Evgeny Shavlyugin and ssartech with 7 submissions.
Most Consistant Solver: jthread with 25 submissions.
Participation country wise: People from 41 countries participated - India > United States > China > Russian Federatio > Ukraine.
Participation university wise: Students from 52 universities across the globe participated in the contest.
Perfect scorer in all lambda-calculi: Pavel Lepin and Po-Hsiang Hao
Perfect scorer in last lambda-calculi: anta0, Po-Hsiang Hao, Shimi Zhang, Jonick, Bo You, Pavel Lepin, ssartech, limed, jthread, Nicolás Álvarez, Sumudu Fernando, Linjie Ding.