[Haskell-cafe] Re: Nomic game in Haskell

Ashley Yakeley ashley at semantic.org
Thu Apr 15 19:58:44 EDT 2010

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

More information about the Haskell-Cafe mailing list