Floris van Doorn
Floris van Doorn
I would also be happy with that, as long as the linter also runs and displays errors when there is a `sorry`, an elaboration error in a later tactic, or...
Another solution to solve this issue: `constructor` will throw an error when the type is (or reduces to) an inductive type with 0 indices and at least 2 constructors. Otherwise...
I agree that my proposal is a trade-off, and there are cases where it might not be desirable. I thought it had maybe a simpler semantics, and I'm confident that...
Funnily, I was just browsing this repository and saw this issue. I have a description of my strategy here: https://github.com/fpvandoorn/hanabi/blob/master/doc_hat_player.md If you know the hat strategy from the original paper,...
If I understand correctly, Felix wants to incorporate a hat-based strategy in your framework? I would love to learn more about your framework, and how it exactly works with asking...
> endgame YOLO playing? In the last round of the game, you can deduce from what you see the identity of your own cards, but not necessarily the order. If...
It was a 10+% decrease in the amount non-perfect games, which was higher than I expected (it was a much higher difference than other end-game strategies I implemented).
bors merge
I haven't followed this discussion closely, but a library note like this is good (and we can refine it later with more experience). I presume that this library note is...