2 ms·
Our "logical" rules of Go [1] can be translated pretty directly into Haskell (links below rules). [1] https://tromp.github.io/go.html https://tromp.github.io/g
by tromp 2y ago
Our "logical" rules of Go [1] can be translated pretty directly into Haskell (links below rules).
[1] https://tromp.github.io/go.html https://tromp.github.io/go.html