Solving the Santa Claus Problem with Conjunction | Communicating Haskell Processes

なんか面白そうだ．あとで読む．