Dancing With the Googlers solutions

Dancing With the Googlers was solved using Standard ML by 2 contestants. Solution sizes: average 2425 bytes (shortest: 1997; longest: 2639).