Quirin F. Schroll

I don't know why Jenkins fails. The error seems not to be related with this PR; it hardly is as this PR is addition-only. Can the error be ignored?

@ZombineDev maybe a quick review?

Thank you @BBasile, the answer is no. I missed that and it's fixed now.

@RazvanN7 What do you mean by _required_? Has something similar been added and I didn't notice?

@RazvanN7, I cannot guarantee it, but it is likely to be unblocked by it. However, note that slice comparison is broken in the same way. I'll work on it soon...

> DuckDuckGo only lists `std.iteration.map` as fourth result, under the spec for "Interfaces" which is the third result. I'm not sure the search quality is really on par. Not anymore....

I changed the writing style of my thesis (text *for all* versus ∀) because I so much dislike how the quantifiers look in Libertinus. They really should have the height...

Can't wait to see it. The :+1: was meant for Libertinus Math. Question aside: Is there a v in Libertinus Math like STIX default?

@KrasnayaPloshchad You could've added that the symbol occurs at 01:23. (The numbers look like a joke, but aren't. It's where ề is in the word _niềm_ in the subtitles.)

As I understand it, `__ATTRIBUTE__` will resolve to an array of declarations that contains the declarations a UDA is applied to. (Correct me if I'm mistaken.) It will only be...