[tromp]

Our "logical" rules of Go [1] can be translated pretty directly into Haskell (links below rules).

[1] https://tromp.github.io/go.html

[ferd]

I'd need to really learn Haskell to make sense of it all. Might be a good excuse :-)

[ferd]

cool, thanks!