type-level programming

Valve's feature-length documentary following three professional gamers competing in the first Dota 2 International tournament for a million dollar prize. It shows the sacrifices and pressures of top-level esports.