On Sat, Oct 24, 2020 at 8:39 PM Falsifian <[email protected]> wrote:
>
> [Comment: There's been some discussion on IRC/Discord about whether "5
> boatloads of coins times X" in R2496 will mean (round 5 boatloads up) *
> complexity or round (5 * complexity boatloads) up. People (including me)
> seem to think the former, but it does seem to at least a little bit
> ambiguous to me.]

I'm sorry about this. I thought it read unambiguously the other way,
but agree that it appears to be ambiguous. I'll submit a fix proposal
momentarily.

-Aris
_______________________________________________
Agora mailing list
[email protected]
https://listserver.tue.nl/mailman/listinfo/agora

Reply via email to