3 ms·
I tried the same with the Logical Rules of Go [1] which translate easily into Haskell. [1] https://tromp.github.io/go.html https://tromp.github.io/go.html
by tromp 7y ago
I tried the same with the Logical Rules of Go [1] which translate easily into Haskell.
[1] https://tromp.github.io/go.html https://tromp.github.io/go.html