Feedback Thread: DIP 1034--Add a Bottom Type (reboot)--Community Review Round 1

[Patrick Schluter]

On Wednesday, 6 May 2020 at 11:05:30 UTC, Mike Parker wrote:
> This is the feedback thread for the first round of Community 
> Review of DIP 1034, "Add a Bottom Type (reboot)".
>
> [...]

Typo in sentence "Note that rules 1 to 4 don not naturally follow 
from rule 0 "

"do not" instead of "don not".