Mathis Brossier

I like the idea of `referundum` a lot. I think a way to solve the issue of `referendum` leaking vote casts, is to vote `referendum`s. This way, we introduce a...

> What if there's a tie? This can be solved in a few different ways, but we'll probably need to elect a leader to decide in case of ties, see...

Minor nitpick: the syntax for delete is actually `delete` (notice the space) So I suggest the following changes: * Delete single space: `delete !` * Delete 3 spaces: `delete !`...

> we should be inclusive to colorblind users, the compiler needs to check if the user is colorblind and if so only ever return `maybe` > > However there is...

Hmm that could be done but I think we are waaaayyyy too overcomplicating things here. What I propose instead, is that we simply * check the medical record of the...

Instead of adding a lightbulb, wouldn't it be possible to reuse the "dots" from the linter-ui ? It would avoid having another gutter taking space on the side. For code...