[Haskell-cafe] Re: Nomic game in Haskell

[Ashley Yakeley]

On 2010-04-15 14:00, Dan Piponi wrote:

> (A neutral third party will have to implement Board.)

data Three a b c where
{
   MkThree :: Three () () ()
}

type Board a b c d e f g h i =
  Either (Three a b c)
  (Either (Three d e f)
  (Either (Three g h i)
  (Either (Three a d g)
  (Either (Three b e h)
  (Either (Three c f i)
  (Either (Three a e i)
  (Either (Three c e g)
  )))))))

Player 2 wins, I think.

-- 
Ashley Yakeley