Participant: cobbal

Representing United States using Coq, Haskell.

Qualification Round: ranked 3913 (65 points)
Oversized Pancake FlipperTidy NumbersBathroom StallsFashion Show
SLSLSL1L2SL
Download Coq Download Coq Download Haskell Download Haskell Download Haskell Download Haskell Download Haskell
Round 1B: ranked 4359 (25 points)
Steed 2: Cruise ControlStable Neigh-borsPony Express
SLSLSL
Download Haskell Download Haskell