15 Apr
2010
15 Apr
'10
8:39 p.m.
On Thu, Apr 15, 2010 at 4:58 PM, Ashley Yakeley
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) )))))))
In the service of readability we could also define: data X = X data O Though the victory conditions aren't precisely the usual ones. -- Dan