Probably worst example of operator overloading I h...
# language-proposals
d
Probably worst example of operator overloading I had was in some Agda-esque code that used Chinese hieroglyphs.
🇨🇳 1
😱 2
a
dmitry.petrov: Now I can't get out of my head the idea of infix functions with one-exotic-char names...