3 ms·
I don't like it either. But what to do about it? It seems logical to use `{|` instead, but that's not much prettier. Presumably just a plain old open brace i
by marvy 11y ago
I don't like it either. But what to do about it? It seems logical to use `{|` instead, but that's not much prettier. Presumably just a plain old open brace is hard to parse.