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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
