Time  Nick      Message
04:17 MTDiscord <mark.wiemer> Sorry @a.corp.serot  I'm not understanding the problem. A week doesn't sound like a problem to me, esp given the size of the PR. Just want to make sure I'm understanding you 🙂
09:23 MTDiscord <a.corp.serot> it very closely aligns to typing goals so people here really should be made aware of it. i would not have even touched the PR if i hadn't stumbled upon it.
09:25 MTDiscord <a.corp.serot> there's also something i'm not particularly happy about, which is how chaotic the documentation is with specifying number types but that's not really immediately solvable in the present. would need a whole revamp of the docs...
09:27 MTDiscord <a.corp.serot> huh, TIL discord supports s/X/Y